Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008
Vorherige Seite:
Rekursive Bindungen
Lambda-Kalkül
Unterabschnitte
Motivation
Der Lambda-Kalkül
Lambda-Terme
verkürzte Notation
Mehrstellige Funktionen
Ableitungen (Ansatz)
Das falsche Binden von Variablen
Gebundene Umbenennungen
Eigenschaften der Reduktion
Rechnen mit simulierten Zahlen
Erweiterungen, Anwendungen
Lambda-Kalkül und Computeralgebra
2009-11-20
