Re: [Haskell-cafe] why the name lambda calculus?

Ezra Cooper 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 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.