If you perform a single beta reduction on expression (λx.λy.x x y)(λz.z z), what do you get?
λy.(λz.z z) (λz.z z) y
(Note that answer (a) is wrong because standard precedence rules says that it is the same as λy.λz.(z z (λz.z z) y), which is not correct.)