Fredrik Nordvall Forsberg

Available identifiers

zbMath Open nordvall-forsberg.fredrikMaRDI QIDQ724936

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6153340	2024-02-13	Paper
Infinite Horizon Extensive Form Games, Coalgebraically	2023-08-04	Paper
Type-theoretic approaches to ordinals	2023-04-27	Paper
Set-Theoretic and Type-Theoretic Ordinals Coincide	2023-01-25	Paper
Type-Theoretic Approaches to Ordinals	2022-08-07	Paper
Compositional Game Theory, Compositionally	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020955	2022-01-07	Paper
Variations on inductive-recursive definitions	2020-05-26	Paper
Universal properties for universal types in bifibrational parametricity	2019-05-27	Paper
Three Equivalent Ordinal Notation Systems in Cubical Agda	2019-04-24	Paper
A compositional treatment of iterated open games	2018-07-26	Paper
Quotient inductive-inductive types	2018-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q5277830	2017-07-12	Paper
Fibred Data Types	2017-07-03	Paper
Bifibrational functorial semantics of parametric polymorphism	2016-12-16	Paper
Proof-Relevant Parametricity	2016-08-17	Paper
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory	2016-06-10	Paper
Parametric Polymorphism — Universally	2015-09-24	Paper
Positive Inductive-Recursive Definitions	2015-04-22	Paper
Extracting verified decision procedures: DPLL and Resolution	2015-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4981449	2014-06-24	Paper
Positive Inductive-Recursive Definitions	2013-09-13	Paper
Program Extraction from Nested Definitions	2013-08-07	Paper
A Categorical Semantics for Inductive-Inductive Definitions	2011-09-02	Paper
Inductive-Inductive Definitions	2010-09-03	Paper

Research outcomes over time

This page was built for person: Fredrik Nordvall Forsberg