Lista de

Ríos, Alejandro Norberto
4
44644
1
Lombardi, Carlos Alberto; Vetere, Enrique. "Estudio de relaciones de reducción en el λ-cálculo puro" . (2002). Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.