Directory of Combinatory Logic and Lambda Calculus Resources

Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus

Subcategories

• Formulae-as-Types Correspondence

Resources in This Category

• Lambda

  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.

• Perl Contains the Lambda-Calculus

  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