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éctor
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Coordinación de Estudios de Posgrado
Entidades por adscripción en la UNAM:
Facultad de Ciencias;