lambda abstraction

About 0.01 uses per million words.

Meaning

1. noun A lambda term of the form (λx.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the λx. prefix. It is meant to represent an anonymous function.

Similar words

lambda term lambda lambda calculus alpha conversion lambda function eta conversion lambda expression combinator application beta reduction