Deconstructing General References via Game Semantics.

Andrzej S. Murawski, Nikos Tzevelekos

Browse the full FOSSACS paper archive.