Tematem seminarium jest przegląd wybranych zagadnień związanych z procedurami redukującymi λ-termy, od tych czysto syntaktycznych po normalizatory wyższego rzędu realizujące strategię normalizacji przez ewaluację w meta języku.
- Nauczyciel: Dariusz Biernacki