Loengud
| # | Kuupäev | Teema | Materjalid |
|---|---|---|---|
| 1 | 31.08 | sissejuhatus; paradigmad | video, pdf |
| 2 | 07.09 | {$\lambda$}-arvutus; baasväärtused ja -tüübid | video, pdf, pdf, idr |
| 3 | 14.09 | substitutsioon; kõrgemat järku funktsioonid | video, pdf, idr |
| 4 | 21.09 | uute tüüpide loomine; kirjed | video, pdf, idr |
| 5 | 28.09 | reduktsioon | video, pdf |
| 6 | 05.10 | liidesed, sisend-väljund | video, pdf, idr |
| 7 | 12.10 | andmed {$\lambda$}-arvutuses | video, pdf |
| 8 | 19.10 | laiskus | video, pdf, hs |
| 9 | 26.10 | andmed {$\lambda$}-arvutuses (jätk) | video, pdf |
| 10 | 02.11 | laiskus (jätk), Lihtsalt tüübitud {$\lambda$}-arvutus | video, pdf, idr |
| 11 | 19.10 | Lihtsalt tüübitud {$\lambda$}-arvutus (jätk) | video, pdf, idr |
| 12 | 16.11 | Curry-Howard'i vastavus, tõestamine Idrises | video, pdf, idr |
| 13 | 23.10 | Sõltuvad tüübid, Tüübituletus | video, pdf, idr |
| 14 | 30.11 | Tüübituletus; kvantitatiivne tüübiteooria | video, pdf, hs, idr |
| 15 | 7.12 | kvantitatiivne tüübiteooria, konsultatsioon | video, pdf, idr, idr |
| 16 | 14.12 | monaadid | video, pdf, idr |