A website directory and metasearch engine of Top 20 best websites
Top 20  
Online  
 
 
Add To Favorites Make this your Start Page Top 20 from A-Z
Top 20 Directory
 Listen to Music Now 
 Classical
 Country    Jazz
 Oldies    Top 40
 Easy    NPR
AccuRadio | Radio Tower
AOL |  Windows |  Launch

Top20Listen

META SEARCH:   
Google Yahoo MSN Ask Answers ixquick DMOZ
Wikipedia Encarta Hakia Cuil Clusty About      other
 ImagesGoogle Flickr AV PicSearch BlogsClusty Google
 VideoGoogle YouTube NewsGoogle Y! News Topix
 DirectoriesYahoo Google Alexa USA.gov Almanac Archive
    City Guide       State Guide Nation Guide
Weekly Diversions
Logic Puzzle
Jumping Deer
Lucky Clover
Best 1st Dance
Ma Jung
Archive

Top20Diversions
 
Top 20 Directory:
Top : Science : Math : Logic_and_Foundations : Computational_Logic : Combinatory_Logic_and_Lambda_Calculus
  		• Formulae-as-Types Correspondence
    Sites:
  		• 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.
    Listed links may put this banner on their website.

    Help build the largest human-edited directory on the web.
    Submit a Site  -  Open Directory Project  -  Become an Editor
    		Terms and Conditions
    About Us
    Privacy Policy
    A website directory and metasearch engine of Top 20 best websites, including news, sports, education, health and more.  http://www.top20online.com/ - Copyright © 1999-2007
    The data contained on this site from Wikipedia and DMOZ is not covered by the copyright of the site.
    Wikipedia data uses the GNU Free Documentation License. DMOZ data uses the Open Directory License.
    Hyperlinked remote resources are the property of their respective trademark and copyright holders.
    Processing Time: 0.02