Kurzbeschreibung

Lambda-Kalkül

- Kurzbeschreibung -

In der Vorlesung werden ungetypter und getypter λ-Kalkül behandelt.

Inhalte sind insbesondere:

  Grundbegriffe: λ-Terme und Kombinatoren, Redexe und Reduktion, Gleichheit von λ
      -Termen, Reduktionsstrategien

  Repräsentierung boolescher und arithmetischer Funktionen

  Church-Rosser-Theorem

  Typisierung im Church- und im Curry-Stil

  Definierbarkeit im einfach getypten λ-Kalkül

  Typinferenz in λ mit Typvariablen

  Gödels System T