SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Inductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski construction
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Domínguez Sánchez, Jesús HéctorTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Coordinación de Estudios de PosgradoEntidades por adscripción en la UNAM:
Facultad de Ciencias;