lambda abstraction

lambda abstraction (plural lambda abstractions)

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