Estadísticas del PDF: Lambda cálculo no tipado

Capítulo 1

Lambda cálculo no tipado

Vamos a revisar la definición y propiedades básicas del lambda cálculo puro o no

tipado.

A mediados de los 60s, Peter Landin observó que un lenguaje de programación
complejo podía ser formulado a través de un reducido núcleo y un conjunto de
expresiones derivadas que posteriormente serían traducidas a dicho núcleo. El núcleo
al que Peter Landin se refería era el lambda-cálculo, un sistema formal inventado en
los años 20 por Church en el que todos los cálcul...