lambda abstraction

Noun

 * 1)  A lambda term of the form $$(\lambda 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 $$\lambda x.$$ prefix. It is meant to represent an anonymous function.