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:

(λx.B)A→B[x : = A]

Beispiel: (λx.x*x)(3 + 2)→(3 + 2)*(3 + 2)

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