There is no more than one normal form:
The normal form
Order of reductions doesn't matter
The normal form is the value of a 
-expression
(Alonzo Church and J. Barkley Rosser)
| September 22, 1999 | Strong Typing | Slide #14 |
There is no more than one normal form:
The normal form
Order of reductions doesn't matter
The normal form is the value of a -expression
(Alonzo Church and J. Barkley Rosser)
| Next |  |
Copyright © 1999 M-J. Dominus |