Lambda calculus

Functional programming has its roots in the lambda calculus, a formal system developed in the 1930s to investigate function definition, function application, and recursion. Many functional programming languages can be viewed as elaborations on the lambda calculus.

— Wikipedia on Functional programming

2010.04.08 Thursday ACHK