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 PowCoder代写加微信 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]
Reviews
There are no reviews yet.