Towards a (1997)

by D Turi, G D Plotkin
Venue:Mathematical Operational Semantics, Proc. LICS 12