Lambda Calculus

Describe the Lambda calculus:


Questions

Why did this come up?
Why would you need the lambda calculus?

Terms

References