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

_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to