Operationally-based Theories of Program Equivalence (1997)

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