Introduction to the Formal Semantics of Programming Languages’, unpublished lecture notes (1985)

by G Winskel