Der Lambda-Kalkül ist eng mit dem Berechenbarkeitsbegriff verbunden, zeigt aber - im Gegensatz etwa zu Turing-Maschinen - deutlich mehr praktische Anwendungen.
Wir interessieren uns für den Kalkül als solches und den Zusammenhang mit funktionalen Programmiersprachen sowie der kombinatorischen Logik.,
- Lehrende/r: Dietmar Lammers
Semester: WT 2020/21