Greg Michaelson, An introduction to functional programming through lambda calculus. Panteley (17.03.06 09:28:09 MSK) Ссылка
Если об ЛИ приментельно к функциональному программированию, то ФилдХариссона (http://lib.ru/CTOTOR/FUNCPROG/). Написано вмеру коряво, зато по русски. Если есть возможность читать по пиндоски то лучше Simon Peyton Jones, Implementation of Functional Programming Languages. http://research.microsoft.com/~simonpj/papers/slpj-book-1987/index.htm На мой взгляд тут разжевано немного доступнее. Bob1 (17.03.06 11:01:16 MSK) Ссылка
http://www.poiskknig.ru/cgi-bin/poisk.cgi?lang=ru&st=%D0%91%D0%B0%D1%80%D... Begemoth ★★★★★ (17.03.06 15:09:25 MSK) Показать ответ Ссылка
Читать лучше всего главы 1-3 этих вот лекций: http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/ Еще на русском выходил Барендрегт, "Ламбда исчисление". ebuilder (17.03.06 18:12:56 MSK) Ссылка
Ответ на: комментарий от Begemoth 17.03.06 15:09:25 MSK Нудятина. Слишком заумно. anonymous (20.03.06 00:40:17 MSK) Ссылка