Teoría de tipos homotópica y fundación
Ponente: Marco Larrea Schiavon
Institución: UNAM
Institución: UNAM