Lambda abstraction

English

Noun

1. Template:Label 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.