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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fredrik Nordvall Forsberg