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


Origin

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