AllMusicSearch Music Directory : Science : Math : Logic_and_Foundations : Computational_Logic : Combinatory_Logic_and_Lambda

http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm

» 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

» 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

http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/

» 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/

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

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors