A sound metalogical semantics for input/output effects (1994)

by Roy L Crole, Andrew D Gordon
Venue:In CSL’94: Selected Papers from the 8th International Workshop on Computer 145 Science Logic