4 ms·
The relevant blog post: http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/ http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/ There's a pretty good s
by silentbicycle 17y ago
The relevant blog post: http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/ http://zaa.ch/past/2010/4/25/lambda_calculus_evaluator/
There's a pretty good summary of the lambda calculus in Pierce's _Types and Programming Languages_ (among others).