Semantics for local computational effects (0)

by J Power
Venue:Electr. Notes Theor. Comput. Sci