Page 1 of 1
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
Posted: Sun Jul 03, 2022 11:22 am
by answerhappygod
- 1 (17.42 KiB) Viewed 18 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 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