Alonzo Church invented the lambda calculus in the 1930s, originally to provide a new and simpler basis for mathematics [REF].
Later the lambda calculus was resurrected as a definition of a programming language.