• Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985)
• Введение в функциональное программирование. Харрисон Дж.
• Lambda-Calculus and Combinators An Introduction(2nd Edition). J. Roger Hindley Jonathan P. Seldin (2008)
• Типы в языках программирования, Пирс Б., Изд: Лямбда пресс, Добросвет (2012)

• CSCenter. Функциональное программирование. Москвин Д.Н.
• ЛШСМ-2017.Соответствие Карри–Ховарда: от математической логики к программированию. Брагилевский В. (Занятие 2)

• Изучай Haskell во имя добра!, Липовача М., Изд: ДМК Пресс (2012)
• О Haskell по-человечески (небольшое введение в язык для практиков)
• Обзор свежих англоязычных книг по Haskell. Брагилевский В.

• CSCenter. Функциональное программирование. Москвин Д.Н.
• Stepik. Функциональное программирование на языке Haskell. Москвин Д.Н.
• Stepik. Функциональное программирование на языке Haskell (часть 2). Москвин Д.Н.

• Coursera. Functional Programming Principles in Scala. Odersky M.
• Stepik. Java. Functional programming
• Stepik. Python. Functional Programming

Может пригодиться при оформлении решений ДЗ по λ-исчислению

• Overleaf. Онлайн-редактор
• LaTeX в примерах, Воронцов К.В.
• Набор и вёрстка в системе LaTeX, Львовский С.М.
• Wiki-книга о LaTeX c кучей примеров(англ.)
• Видео курса по LateX от ВШЭ.

Темы, затронутые на лекциях, но не относящиеся напрямую к предмету курса(или относящие, но этого пока нет в курсе)

• Аксиоматический метод. Беклемишев Л.Д.
• Компьютерные доказательства. Беклемишев Л.Д.
• Stepik. Введение в теоретическую информатику. Шень А.Х.
• CSClub. Ликбез: коды, исправляющие ошибки. Шень А.Х.
• CSClub. Десятая проблема Гильберта. Решение и применения в информатике. Матиясевич Ю.В.