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'.
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.
Georg P. Loczewski