Documents (Codes MSC)

• [Multi angle] Exact $\infty$-categories / Auteur de la Conférence Jasso, Gustavo. -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
  

Documents liés : [4 document(s)]