Lambda calculusLambda calculus was developed by Alonzo Church in the 1930s and published in 1941 as The Calculi Of Lambda Conversion. It became important, along with Turing machines, in the development of computation theory, and is the theoretical basis of all functional programming languages, such as Lisp, Haskell, and ML. Functions in lambda calculus are very different from those in imperative programming lang
