beta reduce

动词 v.
中文释义

英文释义

动词 v.
  1. To syntactically replace a function call by the result of calling that function. intransitive,transitive
    — The term (#92;lambdax.#92;,x)#92;,y can beta reduce to y#92;#33;.

词形变化

beta reduces present,singular,third-person beta reducing participle,present beta reduced participle,past beta reduced past
0 次浏览 数据来源: Wiktionary