Что означает «лямбда» в «лямбда-исчислении»?

Я недавно читал о лямбда-исчислении, но, как ни странно, я не могу найти объяснения, почему оно называется «лямбда» или откуда взято выражение.

Кто-нибудь может объяснить происхождение этого термина?

Отрывок из « Истории лямбда-исчисления и комбинаторной логики » Ф. Кардоне и Дж. Р. Хиндли (2006):

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

Вот некоторая другая информация из первых рук об этом от ученика Церкви Даны Скотт, о чем только что сообщила Ghica и зафиксировала в видео на YouTube. [1]

Он говорит, что когда Чёрча спросили, каково значение λ, он просто ответил «Eeny, meeny, miny, moe.», Что может означать только одно. Это был случайный, бессмысленный выбор. Профессор Скотт утверждал, что миф о типографском происхождении в основном пропагандировался Хенком Барендрегтом и является просто прихотью. Он попросил нас прекратить эту глупую историю.

[1] Дана Скотт на лямбда-нотации / YouTube

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