@inproceedings{paper22, title = "Games and Full Completeness for Multiplicative Linear Logic", author = "S. Abramsky and R. Jagadeesan", year = "1992", booktitle = "Foundations of Software Technology and Theoretical Computer Science", editor = "R. Shyamsundar", pages = "291-301", publisher = "Springer-Verlag", }