Operationally-based theories of program equivalence (1997)

by A M Pitts
Venue:Semantics and Logics of Computation. Publications of the Newton Institute