programming-history
Lambda functions/anonymous functions
See also
Annotated Turing, p. 283–284. (About Church, has references to more references as well.)