A Fully Abstract Game Semantics of Local Exceptions

James Laird. A Fully Abstract Game Semantics of Local Exceptions. In LICS. pages 105-114, 2001.

Abstract

Abstract is missing.