Fredrik Nordvall Forsberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda. | Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai |
| 2026 | LICS | Generalized Decidability via Brouwer Trees. | Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg |
| 2025 | LICS | Ordinal Exponentiation in Homotopy Type Theory. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2023 | APLAS | A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. | Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters |
| 2023 | LICS | Set-Theoretic and Type-Theoretic Ordinals Coincide. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2021 | CALCO | Quantitative Polynomial Functors (Early Ideas). | Georgi Nakov, Fredrik Nordvall Forsberg |
| 2021 | MFCS | Connecting Constructive Notions of Ordinals in Homotopy Type Theory. | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2020 | CPP | Three equivalent ordinal notation systems in cubical Agda. | Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani |
| 2018 | FOSSACS | Quotient Inductive-Inductive Types. | Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg |
| 2017 | MFCS | Variations on Inductive-Recursive Definitions. | Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn |
| 2016 | FOSSACS | Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. | Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson |
| 2015 | WoLLIC | Parametric Polymorphism - Universally. | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
| 2013 | CALCO | Positive Inductive-Recursive Definitions. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
| 2013 | ITP | Program Extraction from Nested Definitions. | Kenji Miyamoto, Fredrik Nordvall Forsberg, Helmut Schwichtenberg |
| 2013 | LICS | Fibred Data Types. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
| 2011 | CALCO | A Categorical Semantics for Inductive-Inductive Definitions. | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2010 | CSL | Inductive-Inductive Definitions. | Fredrik Nordvall Forsberg, Anton Setzer |