Поиск в словарях
Lambda abstraction
A term in
lambda-calculus
denoting a function.