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.