CS 541 

* quiz on the untyped lambda calculus
----------------------------------
1. Give fully parenthesized forms for the following lambda-terms.
   (Note that the backslash (\) is meant to represent lambda:

	(a) \x.x y z
	(b) x y \x. x y
	(c) x y (z w)





2. What are the free variables of the following terms?

	(a) \x.(x y)
	(b) (x (\x.x y)) \z.z





3. What is the result of the following substitutions?

	(a) [z/x](\x.x y)
	(b) [z/y](\x.x y)
	(c) [w/x]((\y.x) w)



--------------------------------------