Game Semantics in String Diagrams

Paul-André Melliès. Game Semantics in String Diagrams. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 481-490, IEEE, 2012. [doi]

@inproceedings{Mellies12,
  title = {Game Semantics in String Diagrams},
  author = {Paul-André Melliès},
  year = {2012},
  doi = {10.1109/LICS.2012.58},
  url = {http://dx.doi.org/10.1109/LICS.2012.58},
  researchr = {https://researchr.org/publication/Mellies12},
  cites = {0},
  citedby = {0},
  pages = {481-490},
  booktitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012},
  publisher = {IEEE},
  isbn = {978-1-4673-2263-8},
}