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

Введение. Функциональное и императивное программирование. Лямбда-исчисление. Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Эта-преобразование. Расширение чистого лямбда-исчисления: дельта-преобразование. Лекция №1 в курсе “Функциональное программирование“ (весна 2015). Преподаватель курса: Денис Николаевич Москвин. Страница лекции на сайте CS центра: