Church-Rosser theorem

短语

词形变化

the Church-Rosser theorem

释义与例句

name
  1. 1.

    A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.

    计算机 工程 数学

词源

Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.

来源：wiktionary