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 jhena...@uvm.edu == Computer science is no more about computers than astronomy is about telescopes. -- Edsger Dijkstra ==
398E692F.gpg
Description: application/apple-msg-attachment
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
