1. Лямбда-исчисление

00:00 Начало лекции 01:21 Функциональная модель вычислений 26:01 Чистое λ-исчисление 56:12 Отношения эквивалентности на термах Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра Ссылка на плейлист курса на YouTube