The relevant blog post: <a href="http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/" rel="nofollow">http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/</a><p>There's a pretty good summary of the lambda calculus in Pierce's _Types and Programming Languages_ (among others).