Lecture 12
2/13/06
Semantics using the Lambda Calculus
The Lambda Calculus as a Foundation for Computing