помогите с книгами.

> а так же книги по Лямбда-исчислению
Бенджамин Пирс. Типы в языках программирования.
(в оригинале называется: Benjamin Pierce. Types and Programming Languages)

На русском Барендрегт и еще на интутие лекции были.

На русском: http://code.google.com/p/funprog-ru/

Мальцев, «Алгоритмы и рекурсивные функции» - в конце есть есть большая глава про машины Тьюринга

а для начинающего Берендрегт сложноват, но не потому что материал сложный, а потому что в тексте _очень_много_ подробностей, отступлений и упражнений и редкая терминология из некоторых разделов матлогики

http://alexott.net/ru/fp/books/ - вот обзор литературы по функциональному программированию, с ссылками на переводы и оригиналы на русском языке.

Types and programming languages уже посоветовали, хотелось бы отметить, что есть его перевод, который сейчас вычитывается и планируется к изданию в бумажном виде. Если будете его читать, то просьба присылать замечания на указанный адрес