Stop show with sound -- Keyboard shortcut: 'x'  Next slide in show -- Keyboard shortcut: 'n'  3 minutes, 45 secondsThe 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


Is a normal form always unique?