Open klequis opened 2 years ago
The Church-Rosser property states that the normal form obtained is independent of the order of evaluation of sub-terms.
The Church-Rosser property states that the normal form obtained is independent of the order of evaluation of sub-terms.