Loengud
| # | Kuupäev | Teema | Materjalid |
|---|---|---|---|
| 1 | 6.09 | sissejuhatus; paradigmad | |
| 2 | 13.09 | {$\lambda$}-arvutus; baasväärtused ja -tüübid | |
| 3 | 20.09 | substitutsioon; kõrgemat järku funktsioonid | |
| 4 | 27.09 | uute tüüpide loomine; kirjed | |
| 5 | 04.10 | reduktsioon | |
| 6 | 11.10 | liidesed, andmed {$\lambda$}-arvutuses | |
| 7 | 18.10 | sisend-väljund, andmed {$\lambda$}-arvutuses | |
| 8 | 25.10 | andmed {$\lambda$}-arvutuses, laiskus | |
| 9 | 01.11 | laiskus (jätk), andmed {$\lambda$}-arvutuses (jätk) | |
| 10 | 08.11 | Lihtsalt tüübitud {$\lambda$}-arvutus | |
| 11 | 15.11 | Lihtsalt tüübitud {$\lambda$}-arvutus, Curry-Howard'i vastavus | |
| 12 | 22.11 | tõestamine Idrises, Tüübituletus | |
| 13 | 29.11 | Tüübituletus, Sõltuvad tüübid | |
| 14 | 6.12 | Sõltuvad tüübid; kvantitatiivne tüübiteooria | |
| 15 | 13.12 | ??? | |
| 16 | 20.12 |