jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

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

Categories
 
Formulae-as-Types Correspondence (15)

Web Sitesi

Perl Contains the Lambda-Calculus
Explains why this computer program is well suited to apply to functional application.
http://perl.plover.com/lambda/
Reviews Rating: Not yet Rated Whois Check

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

http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/
Reviews Rating: Not yet Rated Whois Check

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

http://www.cwi.nl/~tromp/cl/cl.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www.bu.edu/wcp/Papers/Logi/LogiBimb.htm
Reviews Rating: Not yet Rated Whois Check

Lambda Calculus
Introduction to the lambda calculus for computer scientists. Shows how the calculus can be
formalised in Scheme.

http://www.mactech.com/articles/mactech/Vol.07/07.05/LambdaCalculus/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia