Конспект лекций по курсу Теория Типов, 2018

Ответственные:

Егор Галкин (лекции 1 и 2)
Илья Кокорин (лекции 3 и 4)
Никита Дугинец (лекции 5 и 6)
Степан Прудников (лекции 7 и 8)
Александр Петровский (лекции 9 и 10)