1. Nombre del integrante:
Juan Carlos Acosta Guadarrama.
2. Grado académico:
Ingeniería en Sistemas Computacionales.
3. Titulo de la tesis:
Implementación de un analizador
sintáctico en la teoría de tipos de
... continúa en archivo PDF
Archivo PDF (26 KB)
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX" frameborder="0">
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.
apéndices