beta reduce

短语

词形变化

beta reduced beta reduces 三单 beta reduces beta reducing beta reducing 现在分词 beta reduced 过去式 beta reduced 过去分词

释义与例句

v.
  1. 1.

    To syntactically replace a function call by the result of calling that function.

    不及物 及物 计算机 工程 数学

    The term (#92;lambdax.#92;,x)#92;,y can beta reduce to y#92;#33;.