Що означає «лямбда» в «Обчисленні лямбда»?

Я читав про обчислення лямбди недавно, але як не дивно, я не можу знайти пояснення, чому його називають "лямбда" або звідки походить цей вираз.

Хтось може пояснити походження терміна?

Уривок з історії лямбда-числення та комбінаційної логіки Ф. Кардоне та Дж. Р. Хіндлі (2006):

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

Ось інша інформація з перших вуст / куту з цього приводу студентка Церкви Дана Скотт, як щойно повідомила Гіка та задокументована у відео на YouTube. [1]

Він каже, що коли Церкву запитали, що означає значення λ, він просто відповів "Eeny, meeny, miny, moe". Це може означати лише одне. Це був випадковий, безглуздий вибір. Проф. Скотт стверджував, що міф про типографічне походження в основному поширювався Хенком Барендрегтом і є просто чистою примхою. Він попросив нас перестати вчиняти цю дурну історію.

[1] Дана Скотт на лямбда-нотації / ютубі

[2] чому обчислення лямбда називається тим / math.SE