Normal forms

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?