Здравствуйте, Flem1234, Вы писали:
F>Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов
"Функциональное программирование", А.Филд, П.Харрисон. "Мир", 1993
F>И доступное (понятное, бесплатное и т.д.
)
При желании можно найти скан в .djvu
... << RSDN@Home 1.2.0 Pink Floyd — One Slip >>