Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus

the entire directory   only this category Advanced Search
	Home: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus CATEGORIES:   Formulae-as-Types Correspondence (11) LINKS: 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. 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. 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.

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people