3. Просто типизированное лямбда-исчисление

00:00 Начало лекции 00:41 Понятие типа 12:30 Просто типизированное λ-исчисление 37:19 Формализм систем λ→ 01:10:07 Свойства λ→ Функциональное программирование (весна 2022)