nLab Fredrik Forsberg

Redirected from "Fredrik Nordvall Forsberg".
Note: Fredrik Forsberg and Fredrik Forsberg both redirect for "Fredrik Nordvall Forsberg".

webpage

Selected writings

On quotient types and higher inductive types:

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Forsberg, Quotient inductive-inductive types, Foundations of Software Science and Computation Structures (FoSSaCS 2018), Lecture Notes in Computer Science 10803 (2018) [doi:10.1007/978-3-319-89366-2_16, arXiv:1612.02346]

On ordinals in type theory and marked extensional well-founded orders:

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu, Set-Theoretic and Type-Theoretic Ordinals Coincide [arXiv:2301.10696]

Related entries

inductive-inductive type

category: people

Last revised on March 5, 2023 at 06:14:04. See the history of this page for a list of all contributions to it.