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

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

» Kolmogorov Complexity in Combinatory Logic - Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.

» Lambda - An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.

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 may have been modified by clixShare