Archivo PDF (121 KB)

Acosta Guadarrama, J. C. 1996. Implementación de un analizador sintáctico en la teoría de tipos de Martin-Löf. Tesis Licenciatura. Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Diciembre. Derechos Reservados © 1996.