Так что там насчёт лямбда-исчисления?
History of LISP, McCarthy, 1978:
To use functions as arguments, one needs a notation for
functions, and it seemed natural to use the 𝜆-notation of Church.
I didn’t understand the rest of his book, so I wasn’t tempted to
try to implement his more general mechanism for defining
functions.
11/42