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

Y>Расскажите плз какая есть хорошая литература по математическому аппарату, который лежит в основе ФП.

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