Question 6 a) For each of the following, apply the a rule as indicated, or state that its application would be illegal.
Posted: Thu May 05, 2022 1:34 pm
Question 6 a) For each of the following, apply the a rule as indicated, or state that its application would be illegal. i) (Ax. (Az. + (*xy) z)) change y to u ii) (Au. (Av. * uv)) (Aw. + wv) 4 marks b) Reduce the following expression (Ax. (Ay. (Az. (x (-z2) y)) 7) x) 3 i) using Normal Order Reduction ii) using Applicative Order Reduction change w to u 3 marks 3 marks