Two-Level Game Semantics, Intersection Types, and Recursion Schemes.

C.-H. Luke Ong Takeshi Tsukada

Published in: ICALP (2) (2012)

Keyphrases

computer games
database systems
game play
game design
game theoretic
data sets
metadata
logic programming
semantic information
integrity constraints
deductive databases
game playing
transformation rules