Question: Question 1) -reduce below untyped -terms to their normal form. Clearly demonstrate every single reduction step. a) ( . x. x) ) ( . x.
Question 1) -reduce below untyped -terms to their normal form. Clearly demonstrate every single reduction step.
a) ( . x. x) ) ( . x. x) )
b) u. w. . x. w (u) x)) ( . x. x) ( . x. x)
c) (Y F) 4 where
F := . x. (if x == 0 then 0 else x + (x 1))
Y := .(x. (x x)) (x. (x x))
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
Study Help