Здравствуйте, hexamino, Вы писали:
H>Ключевые фразы: lambda calculus, type theory. Можно нагуглить кучу электронных книг и статей.
H>Основатели: Alonzo Church, Haskell Curry и другие.

Нагуглить-то можно, но как я, человек в этом не сведущий, узнаю хорошая статья/книга или нет? В любом случае спасибо