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)]