A Fully Abstract Game Semantics for General References.

Samson Abramsky, Kohei Honda, Guy McCusker

Browse the full LICS paper archive.