AMS survey: Voevodsky’s Univalence Axiom in Homotopy Type Theory
Požadavky na absolvování
AMS survey: Voevodsky’s Univalence Axiom in Homotopy Type Theory
Klikněte na odkaz Univalence-Axiom.pdf pro zobrazení souboru.