Nominal Games and Full Abstraction for the Nu-Calculus.
Samson AbramskyDan R. GhicaAndrzej S. MurawskiC.-H. Luke OngIan David Bede StarkPublished in: LICS (2004)
Keyphrases
- imperfect information games
- game theory
- video games
- nash equilibrium
- computer games
- educational games
- imperfect information
- high level
- weighted majority
- game theoretic
- digital games
- human computation
- game playing
- game design
- game play
- stochastic games
- learning agents
- perfect information
- algebraic structure
- computer algebra
- sequent calculus
- leader follower
- database systems