Функциональное программирование, лекция 5, часть 1

Системы функционального программирования. Основы лямбда-исчисления. Другие стили функционального программирования: ЛИСП. Другие стили функционального программирования: FP. Основы λ-исчисления. λ-выражения и редукции. Нормальная форма. Проблема конфликта имен и СЗНФ. Страница лекции на сайте Computer Science Center: