Second-order type isomorphisms through game semantics.

Joachim De Lataillade

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

video games
game theory
higher order
database query languages
computer games
neural network
virtual world
logic programming
game play
formal semantics
role playing
nash equilibrium
game design
game playing
digital games
board game
perfect information