Question: 1 . ( 9 pt ) Perform beta - reduction for the following lambda expressions. ( a ) ( 3 pt ) (
pt Perform beta reduction for the following lambda expressions.
a ptlambda xx ylambda z z
b ptlambda xlambda yylambda z z a b
c ptlambda x xlambda y ylambda vlambda w w a b
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
