Fredrik Nordvall Forsberg

According to our database, Fredrik Nordvall Forsberg authored at least 30 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Type-theoretic approaches to ordinals.

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Theor. Comput. Sci., May, 2023

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees.

Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma

CoRR, 2023

Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists.

Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2021

Translating Extensive Form Games to Open Games with Agency.

Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Quantitative Polynomial Functors.

Georgi Nakov, Fredrik Nordvall Forsberg

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Quantitative Polynomial Functors (Early Ideas).

Georgi Nakov, Fredrik Nordvall Forsberg

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Compositional Game Theory, Compositionally.

Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Three equivalent ordinal notation systems in cubical Agda.

Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Universal properties for universal types in bifibrational parametricity.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Math. Struct. Comput. Sci., 2019

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.

Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Catalog of Optimization Strategies and Realizations for Composed Integration Patterns.

Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma, Norman May

CoRR, 2019

2018

A compositional treatment of iterated open games.

Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg

Theor. Comput. Sci., 2018

Quotient Inductive-Inductive Types.

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Optimization Strategies for Integration Pattern Compositions.

Daniel Ritter, Norman May, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

2017

Variations on Inductive-Recursive Definitions.

Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Quotient inductive-inductive types.

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg

CoRR, 2016

Comprehensive Parametric Polymorphism: Categorical Models and Type Theory.

Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Proof-Relevant Parametricity.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Bifibrational Functorial Semantics of Parametric Polymorphism.

Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Positive Inductive-Recursive Definitions.

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg

Log. Methods Comput. Sci., 2015

Extracting verified decision procedures: DPLL and Resolution.

Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

Log. Methods Comput. Sci., 2015

Parametric Polymorphism - Universally.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Proceedings of the Logic, Language, Information, and Computation, 2015

Models for Polymorphism over Physical Dimension.

Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2013

Inductive-inductive definitions.

Fredrik Nordvall Forsberg

PhD thesis, 2013

Fibred Data Types.

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Program Extraction from Nested Definitions.

Kenji Miyamoto, Fredrik Nordvall Forsberg, Helmut Schwichtenberg

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

A Categorical Semantics for Inductive-Inductive Definitions.

Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Inductive-Inductive Definitions.

Fredrik Nordvall Forsberg, Anton Setzer

Proceedings of the Computer Science Logic, 24th International Workshop, 2010