[Haskell-cafe] why the name lambda calculus?
dominic.p.mulligan at googlemail.com
Wed Aug 24 15:20:11 CEST 2011
On Wed, 2011-08-24 at 14:01 +0100, Tony Finch wrote:
> Ezra Cooper <ezra at ezrakilty.net> wrote:
> > I believe this to be a general trait of things described as
> > "calculi"--that they have some form of name-binders, but I have never
> > seen that observation written down.
> Combinator calculi are a counter-example.
As is the propositional calculus. I seem to remember Joe Wells once
asking Wilfrid Hodges what he thought the definition of a calculus was.
He didn't provide a convincing definition.
More information about the Haskell-Cafe