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…

  1. 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).