Inductive-Inductive Definitions. - Fredrik Nordvall Forsberg; Anton Setzer (CSL, 2010)

A Categorical Semantics for Inductive-Inductive Definitions. - Thorsten Altenkirch; Peter Morris; Fredrik Nordvall Forsberg; Anton Setzer (CALCO, 2011)

Program Extraction from Nested Definitions. - Kenji Miyamoto; Fredrik Nordvall Forsberg; Helmut Schwichtenberg (ITP, 2013)

Fibred Data Types. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg; Anton Setzer (LICS, 2013)

Inductive-inductive definitions. - Fredrik Nordvall Forsberg (2013)

Models for Polymorphism over Physical Dimension. - Robert Atkey; Neil Ghani; Fredrik Nordvall Forsberg; Timothy Revell; Sam Staton (TLCA, 2015)

Parametric Polymorphism - Universally. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (WoLLIC, 2015)

Extracting verified decision procedures: DPLL and Resolution. - Ulrich Berger 001; Andrew Lawrence; Fredrik Nordvall Forsberg; Monika Seisenberger (Log. Methods Comput. Sci., 2015)

Positive Inductive-Recursive Definitions. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg (Log. Methods Comput. Sci., 2015)

Bifibrational Functorial Semantics of Parametric Polymorphism. - Neil Ghani; Patricia Johann; Fredrik Nordvall Forsberg; Federico Orsanigo; Tim Revell (MFPS, 2015)

Proof-Relevant Parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (A List of Successes That Can Change the World, 2016)

Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. - Neil Ghani; Fredrik Nordvall Forsberg; Alex Simpson (FoSSaCS, 2016)

Quotient inductive-inductive types. - Thorsten Altenkirch; Paolo Capriotti; Gabe Dijkstra; Fredrik Nordvall Forsberg (CoRR, 2016)

Variations on Inductive-Recursive Definitions. - Neil Ghani; Conor McBride; Fredrik Nordvall Forsberg; Stephan Spahn (MFCS, 2017)

Optimization Strategies for Integration Pattern Compositions. - Daniel Ritter 001; Norman May; Fredrik Nordvall Forsberg; Stefanie Rinderle-Ma (DEBS, 2018)

Quotient Inductive-Inductive Types. - Thorsten Altenkirch; Paolo Capriotti; Gabe Dijkstra; Nicolai Kraus; Fredrik Nordvall Forsberg (FoSSaCS, 2018)

A compositional treatment of iterated open games. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (Theor. Comput. Sci., 2018)

Catalog of Optimization Strategies and Realizations for Composed Integration Patterns. - Daniel Ritter 001; Fredrik Nordvall Forsberg; Stefanie Rinderle-Ma; Norman May (CoRR, 2019)

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (ACT, 2019)

Universal properties for universal types in bifibrational parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (Math. Struct. Comput. Sci., 2019)

Three equivalent ordinal notation systems in cubical Agda. - Fredrik Nordvall Forsberg; Chuangjie Xu; Neil Ghani (CPP, 2020)

Compositional Game Theory, Compositionally. - Robert Atkey; Bruno Gavranovic; Neil Ghani; Clemens Kupke; Jérémy Ledent; Fredrik Nordvall Forsberg (ACT, 2020)

Quantitative Polynomial Functors (Early Ideas). - Georgi Nakov; Fredrik Nordvall Forsberg (CALCO, 2021)

Connecting Constructive Notions of Ordinals in Homotopy Type Theory. - Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (MFCS, 2021)

Quantitative Polynomial Functors. - Georgi Nakov; Fredrik Nordvall Forsberg (TYPES, 2021)

Translating Extensive Form Games to Open Games with Agency. - Matteo Capucci; Neil Ghani; Jérémy Ledent; Fredrik Nordvall Forsberg (ACT, 2021)

A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. - Clemens Kupke; Fredrik Nordvall Forsberg; Sean Watters (APLAS, 2023)

Set-Theoretic and Type-Theoretic Ordinals Coincide. - Tom de Jong; Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (LICS, 2023)

Type-theoretic approaches to ordinals. - Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (Theor. Comput. Sci., 2023)

Responsible composition and optimization of integration processes under correctness preserving guarantees. - Daniel Ritter 001; Fredrik Nordvall Forsberg; Stefanie Rinderle-Ma (Inf. Syst., 2024)

Ordinal Exponentiation in Homotopy Type Theory. - Tom de Jong; Nicolai Kraus; Fredrik Nordvall Forsberg; Chuangjie Xu (CoRR, 2025)