Lambda calculus is a computational model based on the notion of a function,
it was defined by Alonzo Churhc in the 1930's, as a precise notation
for anonymous functions.
Lambda Calculus is used to:
- Study computability
- Define models of programming languages
- Study strategies and implementation techniques for functional languages
- Encode proofs in a variety of logics
- Design automatic theorem provers and proof assistants.
Subsections
