James Laird. A Game Semantics of Linearly Used Continuations. In Andrew D. Gordon, editor, Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2620 of Lecture Notes in Computer Science, pages 313-327, Springer, 2003. [doi]
@inproceedings{Laird03:0,
title = {A Game Semantics of Linearly Used Continuations},
author = {James Laird},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2620/26200313.htm},
tags = {semantics},
researchr = {https://researchr.org/publication/Laird03%3A0},
cites = {0},
citedby = {0},
pages = {313-327},
booktitle = {Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
editor = {Andrew D. Gordon},
volume = {2620},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00897-7},
}