Church-Rosser property
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
Noun[edit]
Church-Rosser property (plural Church-Rosser properties)
- (logic, computer science) The property of a rewriting system for which implies for all objects , .