[Haskell-cafe] why the name lambda calculus?

Tony Finch dot at dotat.at
Wed Aug 24 15:01:02 CEST 2011

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.

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.

More information about the Haskell-Cafe mailing list