It is not the case that Church-Rosser guarantees unique normal forms when reduction terminates, but says nothing about whether all terms eventually reach one.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.