lambda abstraction

Noun

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