lambda abstraction

名词 n.
中文释义

英文释义

名词 n.
  1. 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.

词形变化

lambda abstractions plural
0 次浏览 数据来源: Wiktionary