Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008,
Vorherige Seite:
Testfall (2)
Fixpunkte
Unterabschnitte
Motivation
Rekursion
Existenz von Fixpunkten
Funktionen als CPO
Funktionen als CPO, Beispiel
Daten als Funktionen
letrec
letrec nach rec
Fixpunkt-Kombinatoren
Lambda-Kalkül als universelles Modell
Johannes Waldmann 2011-01-23
