- Let add, one, and two be the following lambda expressions:add = λm. λn. λf. λx. m f (n f x) one = λf. λx. f x two = λf. λx. f (f x)

Evaluate (add one two).

Skip to content
# Let add, one, and two be the following lambda expressions:add = m. m f (n f x) one = f. f x two = f. f (f x) Evaluate (add one two). Let G be the…

- Let add, one, and two be the following lambda expressions:add = λm. λn. λf. λx. m f (n f x) one = λf. λx. f x two = λf. λx. f (f x)

Evaluate (add one two).