Documents (Codes MSC)

• [Multi angle] Compact ordinals in HoTT/UF / Auteur de la conférence Escardó, Martin. -Marseille : CIRM
  
• [Multi angle] Daily applications of the univalence axiom: lecture 3 / Auteur de la conférence Rijke, Egbert. -Marseille : CIRM
  
• [Multi angle] Daily applications of the univalence axiom: lecture 2 / Auteur de la conférence Rijke, Egbert. -Marseille : CIRM
  
• [Multi angle] Daily applications of the univalence axiom: lecture 1 / Auteur de la conférence Rijke, Egbert. -Marseille : CIRM
  
• [Multi angle] Type theories and polynomial monads / Auteur de la conférence Awodey, Steve. -Marseille : CIRM
  

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