Church-Rosser property
词源说明
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
释义
名词noun
- 1(logic, computer science) The property of a rewriting system for which x↔∗y implies x↓y for all objects x, y.
正在查询…
正在查询…
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.