Innocent Game Semantics via Intersection Type Assignment Systems.

Pietro Di Gianantonio Marina Lenisa

Published in: CSL (2013)

Keyphrases

management system
database
distributed systems
learning systems
database systems
complex systems
game theory
game playing
game theoretic