K = x . y. x

S = x . y . z. (x z (y z))

6. There are two reduction strategies to evaluate function arguments: Pass-By-Name ("lazy): don't evaluate a function argument (until you need to) Pass-By-Value ("eager" or "strict") do evaluate a function's argument right away Show the -reduction of the following expressions, using Pass-By-Name and Pass-By-Value respectively, where S and K are defined in the problem 5 S (K a b) (Ku v x .xx2x.xx