Re: Scheme learning

[Torsten Hämmerle]

Hans Åberg-2 wrote
> The lambda comes from the book by Alonzo Church, "The Calculi of
> Lambda-conversion", which is a logic theory about function applications,
> but it is unknown why he choose the letter lambda, though a prefix
> notation makes it easier to carry out formal proofs. It then caught on in
> the computer community.

As far as I know, Church originally used a "hat" accent ^.
>From there, it's not far to a Greek Λ and its lower-case form λ.

All the best,
Torsten



--
Sent from: http://lilypond.1069038.n5.nabble.com/User-f3.html