Documents (MSC Codes)

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

Linked documents : [5 document(s)]