[Haskell-cafe] why the name lambda calculus?
chrisdone at googlemail.com
Sun Aug 21 22:39:50 CEST 2011
IIRC Church found it easy to write on paper.
On 21 August 2011 21:11, Jack Henahan <jhenahan at uvm.edu> wrote:
> The short answer is "because Church said so". But yes, it is basically because λ is the abstraction operator in the calculus.
> Why not alpha or beta calculus? What would we call alpha and beta conversion, then? :D
> On Aug 21, 2011, at 12:37 PM, C K Kashyap wrote:
>> Can someone please tell me what is the root of the name lambda calculus? Is it just because of the symbol lambda that is used?
>> Why not alpha or beta calculus?
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Jack Henahan
> jhenahan at uvm.edu
> Computer science is no more about computers than astronomy is about telescopes.
> -- Edsger Dijkstra
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe