A Fully Abstract Game Semantics for General References.

Samson Abramsky Kohei Honda Guy McCusker

Published in: LICS (1998)

Keyphrases

special case
data sets
game design
databases
data model
higher level
logic programming
game theoretic