Found:
lambda-abstraction
SEMANTICS: the logical operation of constructing expressions denoting predicates or functions by means of the lambda-operator.