In Partnership with AOL
  • 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.
    [!]
  • Perl Contains the Lambda-Calculus - Explains why this computer program is well suited to apply to functional application.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: January 2, 2007 at 17:54:53 UTC - edit