|
|
|
|
Home / Science / Math / Logic and Foundations / Computational Logic / Combinatory Logic and Lambda Calculus
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Dual Identity Combinators - Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic.
www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
- Kolmogorov Complexity in Combinatory Logic - Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
www.cwi.nl/~tromp/cl/cl.html
- Lambda - An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
www.csse.monash.edu.au/~lloyd/tildeFP/Lambda
- Lambda Calculus - Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme.
www.mactech.com/articles/mactech/Vol.07/07.05/LambdaCalculus
- Perl Contains the Lambda-Calculus - Explains why this computer program is well suited to apply to functional application.
perl.plover.com/lambda
|
|
|
|
|