Search The Directory The Web for Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory_Logic_and_Lambda_Calculus New! Submit a site   Categories: Formulae-as-Types Correspondence (15)       whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   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.   Lambda Calculus - Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme.   The Lambda-calculus, Combinatory Logic, and Type Systems - Overview by Roger Bishop Jones. Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek