Semantics for local computational effects (2006)

by A J Power
Venue:Electronic Notes in Theoretical Computer Science 158, 355–371, Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics