Fredrik Nordvall Forsberg

From MaRDI portal
Person:724936

Available identifiers

zbMath Open nordvall-forsberg.fredrikMaRDI QIDQ724936

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61533402024-02-13Paper
Infinite Horizon Extensive Form Games, Coalgebraically2023-08-04Paper
Type-theoretic approaches to ordinals2023-04-27Paper
Set-Theoretic and Type-Theoretic Ordinals Coincide2023-01-25Paper
Type-Theoretic Approaches to Ordinals2022-08-07Paper
Compositional Game Theory, Compositionally2022-01-10Paper
https://portal.mardi4nfdi.de/entity/Q50209552022-01-07Paper
Variations on inductive-recursive definitions2020-05-26Paper
Universal properties for universal types in bifibrational parametricity2019-05-27Paper
Three Equivalent Ordinal Notation Systems in Cubical Agda2019-04-24Paper
A compositional treatment of iterated open games2018-07-26Paper
Quotient inductive-inductive types2018-07-17Paper
https://portal.mardi4nfdi.de/entity/Q52778302017-07-12Paper
Fibred Data Types2017-07-03Paper
Bifibrational functorial semantics of parametric polymorphism2016-12-16Paper
Proof-Relevant Parametricity2016-08-17Paper
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory2016-06-10Paper
Parametric Polymorphism — Universally2015-09-24Paper
Positive Inductive-Recursive Definitions2015-04-22Paper
Extracting verified decision procedures: DPLL and Resolution2015-03-11Paper
https://portal.mardi4nfdi.de/entity/Q49814492014-06-24Paper
Positive Inductive-Recursive Definitions2013-09-13Paper
Program Extraction from Nested Definitions2013-08-07Paper
A Categorical Semantics for Inductive-Inductive Definitions2011-09-02Paper
Inductive-Inductive Definitions2010-09-03Paper

Research outcomes over time

This page was built for person: Fredrik Nordvall Forsberg