Substitution & Evaluation Order cos 441 David Walker Reading Pierce Chapter 5: 5.1: intro, op. sem., evaluation order 5.2: encodings of booleans, pairs, numbers, recursion…