General Structural Operational Semantics through Categorical Logic
Sam Staton
Book Title
Proceedings of the Twenty−Third Annual IEEE Symposium on Logic in Computer Science‚ LICS 2008‚ 24−27 June 2008‚ Pittsburgh‚ PA‚ USA
Pages
166–177
Publisher
IEEE Computer Society
Year
2008