ABC HOME web search Web Search web search Web Directory web search Image Search web search Video Search web search Shopping web search 4WX Weather web search Domain Search
ABC Directory
Arts Business Computers Games Health Home Kids News
Recreation Reference Regional Science Shopping Society Sports Adult

Add your website to this category
ABC HOME: Top: Science: Math: Logic_and_Foundations: Computational_Logic: Combinatory_Logic_and_Lambda_Calculus:

Combinatory Logic and Lambda Calculus (19)

Categories:
Sponsors:
Web Sites In this Category:

Dual Identity Combinators Open in a new browser window  
   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
Kolmogorov Complexity in Combinatory Logic Open in a new browser window  
   Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
   http://www.cwi.nl/~tromp/cl/cl.html
Lambda Open in a new browser window  
   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/
Perl Contains the Lambda-Calculus Open in a new browser window  
   Explains why this computer program is well suited to apply to functional application.
   http://perl.plover.com/lambda/

Last Updated: 2004-11-20 04:29:47


Directory Search:  
OR, You can also try your search with one of the following ABC Search Features
ABC Web Search  
ABC Media Search 
ABC Shopping 

Add your website to this category

Keywords and References for this category
Combinatory Logic and Lambda Calculus directory, Combinatory Logic and Lambda Calculus websites, Combinatory Logic and Lambda Calculus related info, Combinatory Logic and Lambda Calculus resources, Combinatory Logic and Lambda Calculus information, Combinatory Logic and Lambda Calculus links, Combinatory Logic and Lambda Calculus search, Combinatory Logic and Lambda Calculus category, Combinatory Logic and Lambda Calculus online.



Copyright © 1996-2005 ABC.NET Search Portal!