Lambda expression

A syntactic construct denoting an anonymous function, consisting of a list of Formal parameters and a body - e.g., $\lambda x.\ t$ or $(\text{lambda}\ (x)\ t)$.