Capítulo 2. La teoría de tipos de Martin-Löf
Capítulo 4. Implementación de un chart parser simple
Capítulo 5. Resultados y conclusiones
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