[Haskell-cafe] why the name lambda calculus?
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