Higher Order Operational Techniques in Semantics

List of Corrections

• Page 2: Delete line 1 (repeats line -1 of page 1).
• Page 207: Corollary 6.7 does not follow directly from Lemma 6.6. But 6.6 can be strengthened to correct the error by pointing out that at most one ID-step is needed after permuting it past another step.