Read pages 18 -- 25 of Peter Selinger's Lecture Notes on the Lambda Calculus (http://www.mscs.dal.ca/~selinger/papers/lambdanotes.pdf). Do exercises: 7 (a--b). 8. 10 (a--b). 11. 12 (a). Due date: In class, Thursday 7 Oct.