Directory Help Search only in Combinatory Logic and Lambda CalculusSearch the Web

Combinatory Logic and Lambda Calculus

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

Go to Directory Home

Categories

Formulae-as-Types Correspondence (16)

Web Pages

View in Google PageRank order               Viewing in alphabetical order

Dual Identity Combinators - http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm 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.csse.monash.edu.au/~lloyd/tildeFP/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.

Kolmogorov Complexity in Combinatory Logic - http://www.cwi.nl/~tromp/cl/cl.html Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.

Perl Contains the Lambda-Calculus - http://perl.plover.com/lambda/ Explains why this computer program is well suited to apply to functional application.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...