Curry-style type isomorphisms and game semantics.

Joachim De Lataillade

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

video games
formal semantics
computer games
neural network
logic programming
game playing
reinforcement learning
databases
multi agent systems
game play
game design
optimal strategy
nonmonotonic logics
board game
game players