Guy McCusker. Games and Full Abstraction for FPC. Inf. Comput., 160(1-2):1-61, 2000.
@article{McCusker00, title = {Games and Full Abstraction for FPC}, author = {Guy McCusker}, year = {2000}, tags = {abstraction}, researchr = {https://researchr.org/publication/McCusker00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {160}, number = {1-2}, pages = {1-61}, }