For what it's worth, this intuition is sound and I think it works just as well if you formalize[1] it to be used to illustrate the lambda calculus. [1] http://

For what it's worth, this intuition is sound and I think it works just as well if you formalize[1] it to be used to illustrate the lambda calculus. [1] http://dkeenan.com/Lambda/ http://dkeenan.com/Lambda/