「lambda abstraction」を英語から日本語に翻訳する

( computing theory) 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.