\beta-Konversion

Aufgabenstellung

Reduzieren Sie den \lambda-Ausdruck (\lambda x. x x)((\lambda z. z y) x) durch mehrfache Anwendung der \beta-Regel. Verfolgen Sie alle möglichen Anwendungsstellen (sog. \beta-Redexe).

Lösung

Scheme

Aufgabenstellung

Lösung

Umbenennung ungebundener Variablen

Aufgabenstellung

Lösung

\alpha-Konversion

Aufgabenstellung

Lösung

Curryfication

Aufgabenstellung

Lösung