00:00 Начало лекции 01:21 Функциональная модель вычислений 26:01 Чистое λ-исчисление 56:12 Отношения эквивалентности на термах Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра Ссылка на плейлист курса на YouTube • 1. Лямбда-исчисление
![Видео: Никита Соболев: Функциональное программирование для новичков [Хекслет]](https://i.ytimg.com/vi/TjDEeaohNog/hqdefault.jpg "Никита Соболев: Функциональное программирование для новичков [Хекслет]")
