lambda abstraction

短语

词形变化

lambda abstractions 复数 lambda abstractions

释义与例句

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

    计算机 工程 数学