Лямбда исчисление

Greg Michaelson, An introduction to functional programming through lambda calculus.

Если об ЛИ приментельно к функциональному программированию, то ФилдХариссона (http://lib.ru/CTOTOR/FUNCPROG/). Написано вмеру коряво, зато по русски. Если есть возможность читать по пиндоски то лучше Simon Peyton Jones, Implementation of Functional Programming Languages. http://research.microsoft.com/~simonpj/papers/slpj-book-1987/index.htm На мой взгляд тут разжевано немного доступнее.

http://www.poiskknig.ru/cgi-bin/poisk.cgi?lang=ru&st=%D0%91%D0%B0%D1%80%D...

Читать лучше всего главы 1-3 этих вот лекций:

http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/

Еще на русском выходил Барендрегт, "Ламбда исчисление".

Всем спасибо! Буду выбирать...

Нудятина. Слишком заумно.