s5 2022 Теория типов Дмитрий Штукенберг лекция 4

Записи курса теории типов который читается для студентов в качестве курса по выбору на программе Прикладная математика и информатика факультета ИТиП университета ИТМО. Лектор: Штукенберг Дмитрий Григорьевич Все видео:

Источник: rutube.ru