Objects, interference, and the Yoneda embedding (1995)

by P O’Hearn, U Reddy
Venue:Proceedings of Conference on the Mathematical Foundations of Programming Semantics (MFPS). D. Dreyer et al