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:

($$\lambda$$x.B)A$$\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