Games and Definability for System F.

Dominic J. D. Hughes

Published in: LICS (1997)

Keyphrases

propositional logic
computer games
video games
game playing
game design
fixed point
game play
game theoretic
nash equilibrium
nash equilibria
game tree search
serious games
perfect information
pure nash equilibria
neural network
human computation
board game
weighted majority
cooperative game
simulation game