BuK/IIm10/BuK-Übung09 G1

Wiki-Quelltext dieser Seite.

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