abstraction operator

Ламбда-оператор; оператор абстракции

Источник: Полный англо-русский словарь на Gufo.me