Dear All, I realized that my previous notes from Thursday contained a typo: Lambda calculus is described in chapter 4.2 of the Mitchell textbook, not chapter 2. I fixed this in the corresponding notes, http://www.cs.dartmouth.edu/~sergey/cs59/lisp/closures-and-lambda-calculus.txt Thanks, --Sergey