1. Mentioned In 7 Articles

2. Rotten Cotton " Blog Archive " Bootstrapping from the pure lambda calculus

   Cotton Seed's home page (Jun 22 2008) Explore Article

   ...st twenty-five years thinking about how to program computers. Let’s change that. We know from the Church-Turing thesis both Turing machines and the lambda calculus are universal formalisms of computation.... (Read Full Article)
   

   Comment on Article Mentions:   Haskell   Scheme   Church

3. Lambda calculus - Wikipedia, the free encyclopedia

   Main Page (May 26 2008) Explore Article

   ...to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole Kleene in the 1930s as part of an investigation into the foundations of mathematic... (Read Full Article)
   

   Comment on Article Mentions:   Peter Landin   Algol   Haskell

4. Why Why Functional Programming Matters Matters

   raganwald (May 21 2008) Explore Article

   ...as "factorability", since that's what you spend most of the post talking about? Power is power, and Church and Turing have pretty much dealt with that. Let's not overload the word power with other concepts ... (Read Full Article)
   

   Comment on Article Mentions:   Common Lisp   Haskell   Church

5. Lambda Calculus

   MacTech Magazine (Apr 29 2008) Explore Article

   ...opic of evaluation, it might be worth noting that one of the practical payoffs of l-calculus is the Church-Rosser theorem [Révész, 1988] which says that if a lambda expression has a normal form (roughly t... (Read Full Article)
   

   Comment on Article Mentions:   Church   Simon Peyton Jones   Henry G. Baker

6. Project LambdaCan---Lambda Calculus in a Can

   Alumni Gateway (Apr 23 2008) Explore Article

   ...r (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsprob... (Read Full Article)
   

   Comment on Article Mentions:   Church   Alonzo Church

7. Church's Thesis and Functional Programming -- David Turner

   Computing at Kent (Mar 22 2008) Explore Article

   ...adefinable function of positive integers). The phrase in parentheses refers to the apparatus which Church had developed to investigate this and other problems in the foundations of mathematics: the calculu... (Read Full Article)
   

   Comment on Article Mentions:   Chalmers University of Technology   Jean-Yves Girard   Christopher Strachey

8. Ok

   Lambda the Ultimate (Jan 25 2008) Explore Article

   ...a then you don't need anything like reflection. There shouldn't be any controversy here. Turing and Church proved it in the 30's. If, on the other hand, you want to build a Lisp interpreter that can interac... (Read Full Article)
   

   Comment on Article Mentions:   Haskell   Church   MetaOCaml

1-7 of 7