Cosa significa "Lambda" in "Lambda calculus"?

Recentemente ho letto del calcolo Lambda, ma stranamente non riesco a trovare una spiegazione del perché si chiama "Lambda" o da dove provenga l'espressione.

Qualcuno può spiegare le origini del termine?

Un estratto da History of Lambda-calculus e Combinatory Logic di F. Cardone e JR Hindley (2006):

$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

ecco alcune altre informazioni / angolo di prima mano su questo da parte della studentessa della Chiesa Dana Scott come riportato da Ghica e documentato in un video di YouTube. [1]

Dice che quando fu chiesto a Church quale fosse il significato di λ, rispose semplicemente "Eeny, meeny, miny, moe", che può significare solo una cosa. È stata una scelta casuale e insignificante. Il Prof. Scott ha affermato che il mito sull'origine tipografica è stato principalmente propagato da Henk Barendregt ed è semplicemente puro capriccioso. Ci ha chiesto di smettere di perpetrare questa sciocca storia.

[1] Dana Scott su Lambda notation / youtube

[2] perché il calcolo lambda è chiamato così / math.SE