Login / Signup
Second-Order Type Isomorphisms Through Game Semantics
Joachim De Lataillade
Published in:
CoRR (2007)
Keyphrases
</>
formal semantics
game theory
computer games
database query languages
logic programming
video games
serious games
nash equilibrium
database
data sets
databases
search algorithm
logic programs
virtual environment
semantic information