Lecture overview -- Keyboard shortcut: 'u'  Previous page: The eta rewrite rule -- Keyboard shortcut: 'p'  Next page: The ordering of reductions -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Evaluation Order and Infinite Lists - slide 13 : 27

Normal forms
A normal form represents our intuition of the value of an expression

An expression is on normal form if it cannot be reduced further by use of beta and eta conversions

An example of a Scheme expression without a normal form.
Scheme expressions - some of which are in normal form.

Is a normal form always unique?