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 PowCoder代写 加微信 powcoder

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代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com