AMS survey: Voevodsky’s Univalence Axiom in Homotopy Type Theory
Abschlussbedingungen
AMS survey: Voevodsky’s Univalence Axiom in Homotopy Type Theory
Klicken Sie auf den Link 'Univalence-Axiom.pdf', um die Datei anzuzeigen