An Introduction to the Lambda Calculus

[EduardoBautista]

I will be give a brief overview of the lambda calculus and how it applies to functional programming. Topics include:

• Alpha Equivalence
• Beta Reduction
• Currying
• Church Numerals