[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Scheme learning
From: |
Torsten Hämmerle |
Subject: |
Re: Scheme learning |
Date: |
Mon, 28 May 2018 14:48:52 -0700 (MST) |
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