English
Riehl, Emily
Auteur
Riehl, E.
Department of Mathematics Johns Hopkins University
ORCID : 0000-0002-8465-8859
ISNI : 0000000424931854 idRef : 183750489
Viaf :
ZBMATH : Author profile zbMath
Documents (Auteurs)
-
[Multi angle]
On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes
/ Auteur de la Conférence Riehl, Emily.
-Marseille : CIRM
-
[Multi angle]
On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations
/ Auteur de la Conférence Riehl, Emily.
-Marseille : CIRM
-
[Multi angle]
On the ∞-topos semantics of homotopy type theory 1: - a categorical semantics of dependent type theory
/ Auteur de la Conférence Riehl, Emily.
-Marseille : CIRM
