[Haskell-cafe] why the name lambda calculus?

Jack Henahan jhenahan at uvm.edu
Sun Aug 21 21:11:28 CEST 2011

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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

Jack Henahan
jhenahan at uvm.edu
Computer science is no more about computers than astronomy is about telescopes.
-- Edsger Dijkstra
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 398E692F.gpg
Type: application/x-apple-msg-attachment
Size: 17822 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110821/8b3780a3/attachment.bin>
-------------- next part --------------

More information about the Haskell-Cafe mailing list