Американский математик Алонзо Чёрч назвал систему для формализации понятия «вычисление» «лямбда-исчислением» (англ. lambda calculus) по имени греческой буквы λ (лямбда). 1

По одной из версий, Чёрч выбрал именно эту букву случайно. 1 В 30-е годы прошлого века научные работы набирались на печатных машинках, и в первоначальном варианте, чтобы выделять имя аргумента лямбда-функции, Чёрч ставил над ним символ, похожий на ^. 1 Но когда он сдавал работу наборщику, то вспомнил, что печатная машинка не сможет воспроизвести такой символ над буквой. 1 Тогда он вынес этот символ перед именем аргумента, и наборщик, увидев такой символ, использовал заглавную греческую букву Λ. 1

Название лямбда-функций пришло в программирование из математического λ-исчисления, где λ — это как раз греческая буква «лямбда». 4