2008) Fun with Fully Abstract Operational Game Semantics for General References (0)

by V Koutavas, S Lassen