A Sound Metalogical Semantics for Input/Output Effects.

Roy L. Crole, Andrew D. Gordon

Browse the full CSL paper archive.