λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.

- Stackoverflow.com Wiki