Paul-André Melliès
Game Semantics in String Diagrams
LICS, 2012.
@inproceedings{LICS-2012-Mellies, author = "Paul-André Melliès", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.58", isbn = "978-1-4673-2263-8", pages = "481--490", publisher = "{IEEE Computer Society}", title = "{Game Semantics in String Diagrams}", year = 2012, }