A fully abstract game semantics of local exceptions (2001)

by James Laird
Venue:In 16th Annual IEEE Symposium on Logic in Computer Science