Литература

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

По языку Лисп

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