Lista de

Reescritura, Cálculo Lambda y Substituciones Explícitas
2
Reescritura, Cálculo Lambda y Substituciones Explícitas (1998). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Reescritura, Cálculo Lambda y Substituciones Explícitas (1997). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación