Rewrite rules, reduction, and normal forms

Play audio slide show -- Keyboard shortcut: 'x'

Lecture overview -- Keyboard shortcut: 'u'

Previous page: A motivating example - clarification -- Keyboard shortcut: 'p'

Next page: Rewrite rules -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Textbook -- Keyboard shortcut: 'v'

Alphabetic index

Help page about these notes

The Order of Evaluation - slide 8 : 26

Rewrite rules, reduction, and normal forms