A formal system introduced by Alonzo Church in the 1930's. The theoretical basis of much of
[Functional Programming], and equivalent to a universal [Turing Machine]. See
http://en.wikipedia.org/wiki/Lambda_calculus for a general introduction. On the wiki, see
[A Lambda Calculus Interpreter with Arithmetic].

<<categories>> Concept