- 1 (17.42 KiB) Viewed 17 times
6) Try evaluating the following a) (f. Av. f (fy)) (2x. X+1) lambda terms to normal terms b) 2x. λy. (aw. w + 1) y lambd
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
6) Try evaluating the following a) (f. Av. f (fy)) (2x. X+1) lambda terms to normal terms b) 2x. λy. (aw. w + 1) y lambd
6) Try evaluating the following a) (f. Av. f (fy)) (2x. X+1) lambda terms to normal terms b) 2x. λy. (aw. w + 1) y lambda terms to normal terms www c) ((2x. (ax. (*3y))(-xy)))y) simplify by call-by-value vs Call by name d) (x. λy. + xy) 5 7 Try evaluating lambda e) (2x + ((2x. ((2x + xy) 2)) y) x) Try evaluating lambda