Lambda abstraction

A term in lambda-calculus denoting a function.