Slide 1Substitution & Evaluation Order cos 441 David Walker Slide 2 Reading Pierce Chapter 5: –5.1: intro, op. sem., evaluation order –5.2: encodings of booleans,…