Church-Rosser property

短语

词形变化

Church-Rosser properties 复数 Church-Rosser properties

释义与例句

n.
  1. 1.

    The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

    计算机 工程 数学 哲学

词源

Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.

来源：wiktionary