Operational semantics and program equivalence (2002)

by A M Pitts
Venue:In Applied Semantics, Advanced Lectures, volume 2395 of LNCS Tutorial