A++ and the Lambda Calculus

The book contains an introduction to the Lambda Calculus as the theoretical foundation of all ''Functional Programming'' languages. The Lambda Calculus has been created by the American logician Alonzo Church in the 1930''s and is documented in his works published in 1941 under the title ''The Calculi of Lambda Conversion''. Alonzo Church wanted to formulate a mathematical logical system a...