English
18N40
Thesaurus
Documents (Codes MSC)
-
[Multi angle]
Higher Lie theory in positive characteristic
/ Auteur de la Conférence Roca i Lucio, Victor.
-Marseille : CIRM
-
[Multi angle]
How algebraic is a stable model category?
/ Auteur de la Conférence Roitzheim, Constanze.
-Marseille : CIRM
-
[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
