Der Lambda-Kalkül

(Alonzo Church, 1936 ...Henk Barendregt, 1984 ...)

ist der Kalkül für Funktionen mit benannten Variablen

die wesentliche Operation ist das Anwenden einer Funktion:

($\displaystyle \lambda$x.B)A$\displaystyle \to$B[x : = A]

Beispiel: ($ \lambda$x.x*x)(3 + 2)$ \to$(3 + 2)*(3 + 2)

Im reinen Lambda-Kalkül gibt es nur Funktionen--keine Zahlen



2009-11-20