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]

mathend000#

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

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