BuK/IIm10/BuK-Übung09 G1

Wiki-Quelltext dieser Seite.

= <math>\beta</math>-Konversion =
== Aufgabenstellung ==
Reduzieren Sie den <math>\lambda</math>-Ausdruck <math>(\lambda x. x x)((\lambda z. z y) x)</math> durch mehrfache Anwendung der <math>\beta</math>-Regel. Verfolgen Sie alle möglichen Anwendungsstellen (sog. <math>\beta</math>-Redexe).

== Lösung ==
= Scheme =
== Aufgabenstellung ==
== Lösung ==
= Umbenennung ungebundener Variablen =
== Aufgabenstellung ==
== Lösung ==
= <math>\alpha</math>-Konversion =
== Aufgabenstellung ==
== Lösung ==
= Curryfication =
== Aufgabenstellung ==
== Lösung ==