Литература

  1. Бердж В. Методы рекурсивного программирования. - M.: Машиностроение, 1983.
  2. Катленд H. Вычислимость. Введение в теорию рекурсивных функций. - M.: Мир, 1983.
  3. Хендерсон П. Функциональное программирование. Применение и реализация. - M.: Мир, 1983.
  4. Барендрегт Х. Лямбда-исчисление. Его синтаксис и семантика. - M.: Мир, 1985.
  5. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М.: Наука, 1987.
  6. Филд А., Харрисон П. Функциональное программирование. - M.: Мир, 1993.
  7. Кузнецов С.Л. Лямбда-исчисление, или вычислительная теория доказательств. - М.: МИАН, 2015.
    Видеокурс - http://www.mathnet.ru/.

По языку Лисп

  1. Хювенен Э., Сеппянен И. Мир Лиспа. В 2-х т. - М.: Мир, 1990.
    Наиболее полное описание Коммон Лисп на русском языке.
    Том 1: Введение в язык Лисп и функциональное программирование.
    Том 2: Методы и системы программирования.
  2. P.Seibel. Practical Common Lisp.
    Незаконченный перевод современного учебника. - http://lisper.ru/pcl/.
  3. Абельсон Х., Сассман Д. Структура и интерпретация компьютерных программ. - М.: Добросвет, 2006.
    Изложение на основе Scheme, есть более поздние переиздания.
  4. Грэм П. ANSI Common Lisp. - Cанкт-Петербург: Символ-Плюс, 2012.
    Первый из учебников по диалекту ANSI Коммон Лисп, изданный на русском языке. - http://www.books.ru/books/ansi-common-lisp-827258/.
    (Можно купить в электронном виде по цене, которую вы назначаете сами!)
  5. Лисп у Истоков
    Портал по языку Лисп - http://lisp.ystok.ru/ru/.

Рекомендуемые Лисп-системы

LispWorks
http://lispworks.com/
SBCL (Steel Bank Common Lisp)
http://sbcl.org/
CCL (Clozure Common Lisp)
http://clozure.com/clozurecl.html
CLISP
http://clisp.cons.org/