Russell Harmer, Guy McCusker
A Fully Abstract Game Semantics for Finite Nondeterminism
LICS, 1999.
@inproceedings{LICS-1999-HarmerM, author = "Russell Harmer and Guy McCusker", booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1999.782637", isbn = "0-7695-0158-3", pages = "422--430", publisher = "{IEEE Computer Society}", title = "{A Fully Abstract Game Semantics for Finite Nondeterminism}", year = 1999, }