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