Kurzbeschreibung Lambda-Kalkül

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