Здравствуйте, Flem1234, Вы писали:

F>Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов
"Функциональное программирование", А.Филд, П.Харрисон. "Мир", 1993

F>И доступное (понятное, бесплатное и т.д. )
При желании можно найти скан в .djvu