Next:
Recursive functions
Up:
No Title
Previous:
Different reduction strategies
The Church-Rosser Theorem II
If E1 ->* E2 and E2 is in normal form, then there exists a normal-order reduction from E1 to E2.
Alan Bond
1998-10-12
