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