IIRC Church found it easy to write on paper.
On 21 August 2011 21:11, Jack Henahan
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:
Hi, 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? Regards, Kashyap _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Jack Henahan jhenahan@uvm.edu == Computer science is no more about computers than astronomy is about telescopes. -- Edsger Dijkstra ==
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe