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

Рекурсия в λ-исчислении. Y-комбинатор. Чистое λ-исчисление. Представление логических значений и функций, списков, арифметики целых чисел. Интерпретаторы функциональных программ. Представление функциональных программ на языке Haskell. Страница лекции на сайте Computer Science Center: