COMS W3261
Computer Science Theory
Lecture 19: November 28, 2012
Lambda Calculus I

1. Introduction to Lambda Calculus

2. Grammar for Lambda Calculus

3. Function Abstraction

4. Function Application

5. Disambiguating the Grammar

6. Free and Bound Variables

7. Renaming Bound Variables by Alpha Reduction

8. Evaluation of Function Applications by Beta Reduction

9. Substitutions

10. Normal Forms

11. Practice Problems

12. References



aho@cs.columbia.edu