[Haskell-cafe] why the name lambda calculus?

[Tony Finch]

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.

Tony.
-- 
f.anthony.n.finch  <dot at dotat.at>  http://dotat.at/
Biscay, FitzRoy: Mainly westerly or southwesterly 4 or 5, occasionally 6 in
Fitzroy, becoming variable 3 at times in south. Slight or moderate, becoming
rough or very rough in northwest Fitzroy. Rain or showers, thundery at times.
Good, occasionally poor.