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