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

the entire directory only this category

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.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.