Fredrik Nordvall Forsberg

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 25

Top Topics

Presburger Arithmetic

Extensive Form Games

Precise Definition

Algebraic Structures

Top Venues

Publications

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