Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008,
Vorherige Seite:
Testfall (2)
Lambda-Kalkül
Unterabschnitte
Motivation
Der Lambda-Kalkül
Lambda-Terme
verkürzte Notation
Gebundene Variablen
Substitution
Das falsche Binden von Variablen
Gebundene Umbenennungen
Ableitungen
Eigenschaften der Reduktion
Daten als Funktionen
Lambda-Kalkül als universelles Modell
Fixpunkt-Kombinatoren
Lambda-Berechenbarkeit
Übung Lambda-Kalkül
Johannes Waldmann 2013-01-31
