Church-Rosser property
名词 n.
英文释义
名词 n.
- 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.
0 次浏览
数据来源: Wiktionary