Semantics of programming languages - structures and techniques


Page 33, In the rst line: [ `appl' ] should be replaced by f `app' g. Page 36, In the de nition of a symmetric relation (item 2 near the middle of the page) [ x R y implies x R y ] should read f x R y implies y R x g. Page 40. In the third line of the proof of Lemma 2.2, replace [ H 0 ` N : t ] by f H `M 0 : t g. Page 41. In the statement of Lemma 2.3… (More)


  • Presentations referencing similar topics