An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will ...
Explains why this computer program is well suited to apply to functional application.