Тту такая интересная штука нашлась. http://www.fact-index.com/l/la/lambda_calculus.html http://www.fact-index.com/c/co/computer_science.html Разработка невыполнимого алгоритма на процессоре. Все кто имеет близкую по теме литературу, пж-та сообщите.
Может на intuit.ru найдешь что-нибудь интересное. Там есть несколько курсов по функ. программированию и лямбда исчислению.
