[s5 | 2022] Теория типов, Дмитрий Штукенберг, лекция 1

00:00 Init 04:50 Начало 11:55 Типы в ЯП 25:00 Теория типов в математике 36:00 λ-исчисление

Смотрите также