W sprawie egzaminu (ustnego) proszę się ze mną indywidualnie umawiać
Materialy do wykładu (po polsku):
0. Skrypt do rachunku lambda
, zwłaszcza rozdziały 8, 10-12, 16-17, 19.
1. Dodatek o modelu D-nieskończoność (2 III).
2. Dodatek o leniwym rachunku lambda (16 III).
3. Dodatek o logice Hoare'a (24 III).
4. Dowód nierozstrzygalności problemu Plotkina (30 III) jest
tutaj.
5. Model D-nieskończoność jako model
z filtrów (20-27 kwietnia).
6. Wprowadzenie do kategorii (4 maja).
7. Dodatek o jezyku PCF (11 maja).
Dzięki uprzejmości Andrzeja Murawskiego (Oxford) możemy też korzystać z materiałów do jego wykładu z semantyki w grach. Uwaga: ten odsyłacz prowadzi do paranoi!