Towards a Mathematical Operational Semantics (1997)

by D Turi, G Plotkin
Venue:In LICS