Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Computational_Logic/Combinatory_Logic_and_Lambda_Calculus
Top
:
Science
:
Math
:
Logic and Foundations
:
Computational Logic
:
Combinatory Logic and Lambda Calculus
(15)
FormulaeasTypes Correspondence
(11)
Dual Identity Combinators
 Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulaeastypes 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 LambdaCalculus
 Explains why this computer program is well suited to apply to functional application.
"
Combinatory Logic and Lambda Calculus
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

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