[SOLVED] CS Lambda Calculus 1) (a. a) b

Lambda Calculus 1) (a. a) b
Make the parentheses explicit in the following expressions
3) a. b. a b
4) a. a b a. a b

Copyright By Assignmentchef assignmentchef

Identify the free variables in the following expressions
1) a. a b a
2) a (a. a) a
3) a. (b. a b) a b
Apply alpha-conversions to the following
1) a. a. a
2) (a. a) a b
3) (a. (a. (a. a) a) a
Apply beta-reductions to the following
1) (a. a b) x b
2) (a. b) (a. b. c. a b c)
3) (a. a a) (a. a a)
Quick Notes Page 2

CS: assignmentchef QQ: 1823890830 Email: [email protected]