research
∙
02/15/2018
Models of Type Theory Based on Moore Paths
This paper introduces a new family of models of intensional Martin-Löf t...
share
research
∙
01/23/2018
Internal Universes in Models of Homotopy Type Theory
We show that universes of fibrations in various models of homotopy type ...
research
∙
12/13/2017
Decomposing the Univalence Axiom
This paper investigates the univalence axiom in intensional Martin-Löf t...
research
∙
12/13/2017