Que signifie “Lambda” dans “Lambda calcul”?

Je lisais récemment sur le calcul Lambda, mais étrangement, je ne trouve pas d'explication expliquant pourquoi il s'appelle "Lambda" ni d'où vient l'expression.

Quelqu'un peut-il expliquer les origines du terme?

Un extrait d' Histoire du lambda-calcul et de logique combinatoire de F. Cardone et JR Hindley (2006):

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

Voici quelques autres informations / angles de première main sur ceci de Dana Scott, étudiante à l'Église, qui ont été rapportés par Ghica et documentés dans une vidéo youtube. [1]

Il dit que lorsqu'on lui a demandé quelle était la signification du λ, il a simplement répondu «Eeny, meeny, miny, moe.», Ce qui ne peut signifier qu'une seule chose. C'était un choix aléatoire, sans signification. Le professeur Scott a affirmé que le mythe de l'origine typographique avait été principalement propagé par Henk Barendregt et n'était que pure fantaisie. Il nous a demandé de cesser de perpétrer cette histoire idiote.

[1] Dana Scott sur la notation lambda / youtube

[2] Pourquoi le lambda calcul est-il nommé / math.SE?