"\x. (E1 \y. ((E2 E3) E4))" is the equivalent lambda expression
True. The scope of the abstractions are maximized, and the applications are associated to the left.
BACK