COMS W3261
Computer Science Theory
Lecture 20: December 3, 2012
Lambda Calculus II

Outline

1. Evaluation Strategies

2. Properties of the Lambda Calculus

3. Multiple-Argument Functions

4. Implementing Programming Language Constructs in Lambda Calculus

5. Recursion with the Y Combinator

6. Practice Problems

7. References



aho@cs.columbia.edu