Grundlagen
  • Einleitung
  • Alpha-Äquivalenz
  • Beta-Reduktion
  • Normalreihenfolge und Normalform
  • Call-by-Name und Call-by-Value
Church Zahlen
  • natürliche Zahlen
  • Addition
  • Multiplikation
  • True, False, If und AND
Typsysteme
  • Einführung
  • Abstraktionsregel
  • Applikationsregel
  • Konstanten-und Variablenregel
  • variable Typen
  • Die Let-Regel
  • Ein Beispielbaum
  • Unifikation