Fredrik Nordvall Forsberg

41 papers A* 3B 13C 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2026 B conf
Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda.
CPP
Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai
2026 J jnl
Generalized Decidability via Brouwer Trees.
CoRR
Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg
2025 A* conf
Ordinal Exponentiation in Homotopy Type Theory.
LICS
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2025 J jnl
Ordinal Exponentiation in Homotopy Type Theory.
CoRR
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2024 J jnl
Responsible composition and optimization of integration processes under correctness preserving guarantees.
Inf. Syst.
Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma
2023 B conf
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists.
APLAS
Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters
2023 J jnl
Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees.
CoRR
Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma
2023 A* conf
Set-Theoretic and Type-Theoretic Ordinals Coincide.
LICS
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2023 J jnl
Set-Theoretic and Type-Theoretic Ordinals Coincide.
CoRR
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2023 J jnl
Type-theoretic approaches to ordinals.
Theor. Comput. Sci.
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2022 J jnl
Type-Theoretic Approaches to Ordinals.
CoRR
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021 B conf
Connecting Constructive Notions of Ordinals in Homotopy Type Theory.
MFCS
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021 J jnl
Connecting Constructive Notions of Ordinals in Homotopy Type Theory.
CoRR
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021 B conf
Quantitative Polynomial Functors (Early Ideas).
CALCO
Georgi Nakov, Fredrik Nordvall Forsberg
2021 — conf
Quantitative Polynomial Functors.
TYPES
Georgi Nakov, Fredrik Nordvall Forsberg
2021 — conf
Translating Extensive Form Games to Open Games with Agency.
ACT
Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg
2020 — conf
Compositional Game Theory, Compositionally.
ACT
Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg
2020 B conf
Three equivalent ordinal notation systems in cubical Agda.
CPP
Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani
2019 J jnl
Catalog of Optimization Strategies and Realizations for Composed Integration Patterns.
CoRR
Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma, Norman May
2019 — conf
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.
ACT
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2019 J jnl
Universal properties for universal types in bifibrational parametricity.
Math. Struct. Comput. Sci.
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
2018 — ed.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017
TYPES
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
2018 J jnl
A compositional treatment of iterated open games.
Theor. Comput. Sci.
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2018 — conf
Optimization Strategies for Integration Pattern Compositions.
DEBS
Daniel Ritter, Norman May, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma
2018 B conf
Quotient Inductive-Inductive Types.
FoSSaCS
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
2017 J jnl
A Compositional Treatment of Iterated Open Games.
CoRR
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg
2017 B conf
Variations on Inductive-Recursive Definitions.
MFCS
Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn
2016 B conf
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory.
FoSSaCS
Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
2016 — conf
Proof-Relevant Parametricity.
A List of Successes That Can Change the World
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
2016 J jnl
Quotient inductive-inductive types.
CoRR
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg
2015 B conf
Bifibrational Functorial Semantics of Parametric Polymorphism.
MFPS
Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell
2015 J jnl
Extracting verified decision procedures: DPLL and Resolution.
Log. Methods Comput. Sci.
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger
2015 — conf
Models for Polymorphism over Physical Dimension.
TLCA
Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton
2015 C conf
Parametric Polymorphism - Universally.
WoLLIC
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
2015 J jnl
Positive Inductive-Recursive Definitions.
Log. Methods Comput. Sci.
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
2013 A* conf
Fibred Data Types.
LICS
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
2013 — —
Inductive-inductive definitions.
Fredrik Nordvall Forsberg
2013 B conf
Positive Inductive-Recursive Definitions.
CALCO
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
2013 B conf
Program Extraction from Nested Definitions.
ITP
Kenji Miyamoto, Fredrik Nordvall Forsberg, Helmut Schwichtenberg
2011 B conf
A Categorical Semantics for Inductive-Inductive Definitions.
CALCO
Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
2010 B conf
Inductive-Inductive Definitions.
CSL
Fredrik Nordvall Forsberg, Anton Setzer