Paper: A Fully Abstract Game Semantics for General References (at LICS 1998)
Authors: Samson Abramsky Kohei Honda Guy McCuskerAbstract
No Abstract Available
BibTeX
@InProceedings{AbramskyHondaMcCusk-AFullyAbstractGameS, author = {Samson Abramsky and Kohei Honda and Guy McCusker}, title = {A Fully Abstract Game Semantics for General References}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {334-344}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }