A fully abstract game semantics for general references
S. Abramsky‚ K. Honda and G. McCusker
Book Title
Proceedings of the Thirteenth International Symposium on Logic in Computer Science
Pages
334−344
Publisher
Computer Society Press of the IEEE
Year
1998