Documents (MSC Codes)

• [Multi angle] Higher Lie theory in positive characteristic / Author of the conference Roca i Lucio, Victor. -Marseille : CIRM
  
• [Multi angle] How algebraic is a stable model category? / Author of the conference Roitzheim, Constanze. -Marseille : CIRM
  
• [Multi angle] On the ∞-topos semantics of homotopy type theory 3: all ∞-toposes have strict univalent universes / Author of the conference Riehl, Emily. -Marseille : CIRM
  
• [Multi angle] On the ∞-topos semantics of homotopy type theory 2: the simplicial model of univalent foundations / Author of the conference Riehl, Emily. -Marseille : CIRM
  
• [Multi angle] On the ∞-topos semantics of homotopy type theory 1: - a categorical semantics of dependent type theory / Author of the conference Riehl, Emily. -Marseille : CIRM
  

Linked documents : [5 document(s)]