3 minutes, 45 seconds | The Order of Evaluation - slide 13 : 26 |

Normal forms

Normal forms represent our intuition of the value of an expression

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

- About normal forms
- Alpha conversions can be used infinitely, and as such they do not play any role in the formulation of a normal form
- A normal form is a particular simple expression, which is equivalent to the original expression, due to the application of the conversions

Is a normal form always unique?