Lecture overview -- Keyboard shortcut: 'u'  Previous page: Normal forms -- Keyboard shortcut: 'p'  Next page: An example of normal versus applicative evaluation -- 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 14 : 27

The ordering of reductions
Given a complex expression, there are many different orderings of the applicable reductions

Using normal-order reduction, the first reduction to perform is the one at the outer level of the expression (the leftmost reduction first).

Using applicative-order reduction, the first reduction to perform is the inner leftmost reduction.