1 definition by ThaddeusTheGreat
As everyone familiar with popular culture knows, “lambda” is the "L" word. In mathematical logic and computer science, lambda calculus is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole Kleene in the 1930s as part of an
investigation into the foundations of mathematics, but has emerged as a useful tool in the
investigation of problems in computability or recursion theory, and forms the basis of a
paradigm of computer programming called functional programming.
investigation into the foundations of mathematics, but has emerged as a useful tool in the
investigation of problems in computability or recursion theory, and forms the basis of a
paradigm of computer programming called functional programming.
by ThaddeusTheGreat April 21, 2010