James Laird. Game semantics for a polymorphic programming language. Journal of the ACM, 60(4):29, 2013. [doi]
@article{Laird13, title = {Game semantics for a polymorphic programming language}, author = {James Laird}, year = {2013}, doi = {10.1145/2505986}, url = {http://doi.acm.org/10.1145/2505986}, researchr = {https://researchr.org/publication/Laird13}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {60}, number = {4}, pages = {29}, }