Question: Lambda - calculus For each of the following lambda - expressions, what is the normal form, if any exists? Question 1 6 ( 2 points

Lambda-calculus
For each of the following lambda-expressions, what is the normal form, if any exists?
Question 16(2 points)
What is the normal form of the following -expression: (xyz,xzy) a bc
abc
(xyz.xzy) a bc
acb
c b a
(yz.azy)bc
Lambda - calculus For each of the following

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!