@inproceedings{paper32, title = "Games and Full Completeness for Multiplicative Linear Logic", author = "S. Abramsky and R. Jagadeesan", year = "1994", booktitle = "Journal of Symbolic Logic", number = "2", pages = "543-574", volume = "59", }