«curried function»

curried function в энциклопедиях

Источники

производная функция (получаемая из функции двух переменных при заданных значениях одной переменной)