А какие есть хардкорные книги лямбда-ичеслениям, рекурсии, такие что бы больше математики и меньше программирования?

Question

[b0noII]

Посоветуйте хорошую книгу по лямбда-ичеслениям, рекурсии и вот этому всему. Хочется лучше разобраться в фундаментальных теоретических аспектах функционального программирования.

Мне посоветовали: "An Introduction to Functional Programming Through Lambda Calculus" но перед покупкой хотел посоветоватся с сообществом

Answer 1

[uvelichitel]

В MIT учат по SICP, валяется в сети в открытом доступе, кажется переведена на русский.