Operational Methods: Errata List

Thanks to Ajay Chandler for pointing out the following errata:

  1. Page 1-8: Delete (IH) from first paragraph.
  2. Page 1-11 slide 11: n >= 0.
  3. Page 1-12: In case (1) of the proof (\x.e)[b]) should be (\x.e)[b].
  4. Page 1-13: Fact (7) is a corollary of fact (6) not fact (5).
  5. Page 1-13: "context context" should be "context". Also, "show that whenever" should be "show whenever".
  6. Page 1-14: "set of a variables" should be "set of n variables".
  7. Page 1-15: "interchangability" should be "interchangeability".
  8. Page 1-15 exercise two: "and and" should be "and an".

Extra exercise: show that the converse of Proposition 1.4(4) does not hold.

ADG, 980105