A type assignment system for game semantics.

Pietro Di Gianantonio Furio Honsell Marina Lenisa

Published in: Theor. Comput. Sci. (2008)

Keyphrases

game theory
nash equilibrium
video games
serious games
game play
programming language
logic programming
virtual environment
computer games
game theoretic
game players
monte carlo tree search