Lambda-abstraction

Lambda-abstraction is the logical operation of constructing expressions denoting predicates or functions by means of the lambda-operator.

Link
Utrecht Lexicon of Linguistics