Higher Order Operational Techniques in Semantics - List of Corrections
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.