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