| Directory > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus Perl Contains the Lambda-Calculus
Explains why this computer program is well suited to apply to functional application.
http://perl.plover.com/lambda/
Reviews Rating: Not yet Rated
Whois Check
Lambda
An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will
evaluate lambda expressions.
http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/
Reviews Rating: Not yet Rated
Whois Check
Kolmogorov Complexity in Combinatory Logic
Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of
randomness.
http://www.cwi.nl/~tromp/cl/cl.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
Reviews Rating: Not yet Rated
Whois Check
Lambda Calculus
Introduction to the lambda calculus for computer scientists. Shows how the calculus can be
formalised in Scheme.
http://www.mactech.com/articles/mactech/Vol.07/07.05/LambdaCalculus/
Reviews Rating: Not yet Rated
Whois Check
|
