Origin: Latin suffix -tion
Definition, synonyms and related words
A lambda term of the form (๐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 ๐x. prefix. It is meant to represent an anonymous function.