Towards a mathematical operational semantics, in (1997)

by D Turi, G D Plotkin
Venue:Proceedings of 12th annual IEEE symposium on logic in computer science (LICS’97), IEEE Computer