Web Directory

  Top: Science: Math: Logic_and_Foundations: Computational_Logic: Combinatory_Logic_and_Lambda_Calculus:

  Combinatory Logic and Lambda Calculus (18)

Submit a Featured Link: [$19.00] Submit a Regular Link: [$9.00]  

Nomoz Sub Categories

Regular Websites in this category

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

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Lambda Open in a new windowLink Details
- 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/

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Kolmogorov Complexity in Combinatory Logic Open in a new windowLink Details
- Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
- http://www.cwi.nl/~tromp/cl/cl.html

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing
Dual Identity Combinators Open in a new windowLink Details
- 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

Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listing

Submit a Featured Link: [$19.00]  Submit a Regular Link: [$9.00]