Andrzej S. Murawski, Nikos Tzevelekos
Game Semantics for Good General References
LICS, 2011.
@inproceedings{LICS-2011-MurawskiT, author = "Andrzej S. Murawski and Nikos Tzevelekos", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.31", isbn = "978-0-7695-4412-0", pages = "75--84", publisher = "{IEEE Computer Society}", title = "{Game Semantics for Good General References}", year = 2011, }