Motivation

• Lambda-Kalkül zur Modellierung von Abstraktion und Applikation,

  wesentliches Merkmal: benutzerdefinierte Funktionen mit gebundene Variablen.

• Kombinatorische Logik ist ein Berechnungsmodell mit einer kleinen, fixierte Menge von (globalen) Funktionen,

  diese heißen Kombinatoren.

Beispiele: S = λxyz.xz(yz), K = λxy.x