Next: The Church-Rosser Theorem I
Up: No Title
Previous: Substitution
A 
expression E is in normal form if it cannot
be reduced any further.
This is the result of the computation, or the value
of the expression.
Some expressions have no normal form.
Alan Bond
1998-10-12