[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Scheme learning
From: |
Hans Åberg |
Subject: |
Re: Scheme learning |
Date: |
Tue, 29 May 2018 00:10:47 +0200 |
> On 28 May 2018, at 23:48, Torsten Hämmerle <address@hidden> wrote:
>
> 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 λ.
In [1], p. 7, there is a remark that he originally stated that, but later said
the choice was more accidental, a symbol was needed, and λ happened to be
chosen.
1.
https://github.com/aistrate/Articles/blob/master/Haskell/History%20of%20Lambda-calculus%20and%20Combinatory%20Logic%20(Cardone%2C%20Hindley).pdf