Game Semantics for Type Soundness.

Tim Disney Cormac Flanagan

Published in: LICS (2015)

Keyphrases

coalitional games
game theoretic
multi agent systems
logic programming
nash equilibrium
formal semantics
database query languages
databases
semantic information
video games
default reasoning