Un compilador correcto verificado de mini-ml a la máquina SECD en Coq

Sinodales:
FRANCISCO HERNANDEZ QUIROZ; FAVIO EZEQUIEL MIRANDA PEREA;
Autores:
Zúñiga Chávez, Ángel Francisco
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; Facultad de Ciencias;