Fredrik Nordvall Forsberg

Available identifiers

zbMath Open nordvall-forsberg.fredrikMaRDI QIDQ724936

List of research outcomes

Publication	Date of Publication	Type
Translating extensive form games to open games with agency	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
Compositional game theory with mixed strategies: probabilistic open games using a distributive law	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
Models for polymorphism over physical dimension	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
A finite axiomatisation of inductive-inductive definitions	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