Lista de

Aguirre.
2
Reproducción de Sistemas Formales en Cálculo Lmbda Tipado (1992). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Introducción a los Modelos de la Concurrencia (1992). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación