Church-Rosser theorem

专有名词
中文释义

英文释义

专有名词
  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.

词形变化

the Church-Rosser theorem canonical

词源

Introduced by Alonzo Church and J. Barkley-Rosser in a 1936 paper.
0 次浏览 数据来源: Wiktionary