A Game Semantics of Linearly Used Continuations.

James Laird

Browse the full FOSSACS paper archive.