Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus
http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/
An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
http://perl.plover.com/lambda/
Explains why this computer program is well suited to apply to functional application.
Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us