next up previous contents index
Next: Definition Up: Introduction Previous: Introduction   Contents   Index


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 and had no intent to create a programming language. The intrinsic relationship of his system to programming was discovered much later in a time in which programming of computers became an issue.

domain access counter Georg P. Loczewski 2004-03-05