beta reduction

名词 n.
中文释义

英文释义

名词 n.
  1. The act of beta reducing, an instance of replacing a function call by the result of calling a function. countable,uncountable
  2. One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s. countable,uncountable
    — A natural deduction tree can be put in exact correspondence with typed λ-calculus (that can be considered as just a notation for such deductions), and the cut-elimination in Natural Deduction corresponds exactly to β-reduction in λ-calculus.

词形变化

beta reductions plural
0 次浏览 数据来源: Wiktionary