Pierre Clairambault
Estimation of the Length of Interactions in Arena Game Semantics
FoSSaCS, 2011.
@inproceedings{FoSSaCS-2011-Clairambault, author = "Pierre Clairambault", booktitle = "{Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-19805-2_23", isbn = "978-3-642-19804-5", pages = "335--349", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Estimation of the Length of Interactions in Arena Game Semantics}", volume = 6604, year = 2011, }