James Laird
A Game Semantics of Local Names and Good Variables
FoSSaCS, 2004.
@inproceedings{FoSSaCS-2004-Laird, author = "James Laird", booktitle = "{Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-540-24727-2_21", isbn = "3-540-21298-1", pages = "289--303", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Game Semantics of Local Names and Good Variables}", volume = 2987, year = 2004, }