最終更新日:2022/12/07
正解を見る
(computing theory) 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.
編集履歴(0)
元となった辞書の項目
lambda abstraction
noun