5. Using the terms from above, apply alpha and beta reductionsto the following lambda expression :
a. t7[z := t3]
until you reach an expression which cannot be reduced anyfurther.
t7 = ((((λx.x)z)x)(( λy.(z y))y))
t3 = (λx.(x y))
Expert Answer
An answer will be send to you shortly. . . . .