BuK-Übung09 G1

Aus ProgrammingWiki

Archivierte Version vom 2011-05-31T12:26:43+00:00. Aktuelle Version

Inhaltsverzeichnis

1 \beta-Konversion
- 1.1 Aufgabenstellung
- 1.2 Lösung
2 Scheme
- 2.1 Aufgabenstellung
- 2.2 Lösung
3 Umbenennung ungebundener Variablen
- 3.1 Aufgabenstellung
- 3.2 Lösung
4 \alpha-Konversion
- 4.1 Aufgabenstellung
- 4.2 Lösung
5 Curryfication
- 5.1 Aufgabenstellung
- 5.2 Lösung

\beta-Konversion

Aufgabenstellung

Lösung

Scheme

Aufgabenstellung

Lösung

Umbenennung ungebundener Variablen

Aufgabenstellung

Lösung

\alpha-Konversion

Aufgabenstellung

Lösung

Curryfication

Aufgabenstellung

Lösung

Suche