Voevovkdsky's univalence axiom in homotopy type theory

• Autores: Steve Awodey, Alvaro Pelayo, Michael A. Warren
• Localización: Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 60, Nº. 9, 2013, págs. 1164-1167
• Idioma: inglés
• DOI: 10.1090/noti1043
• Texto completo no disponible (Saber más ...)