Programming Language Semantics Denotational Semantics Chapter 5 Based on a lecture by Martin Abadi.
Programming Language Semantics Denotational Semantics Chapter 5 Part III Based on a lecture by Martin Abadi.