A Game Semantics of Linearly Used Continuations

@inproceedings{Laird2003AGS,
  title={A Game Semantics of Linearly Used Continuations},
  author={James Laird},
  booktitle={FoSSaCS},
  year={2003}
}