Game semantics for quantum programming.
Pierre ClairambaultMarc de VismeGlynn WinskelPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- game theory
- game development
- game playing
- formal semantics
- game theoretic
- computer games
- programming language
- educational games
- video games
- semantic information
- nash equilibrium
- game design
- conceptual model
- virtual world
- programming environment
- game play
- perfect information
- cooperative game
- computer programming
- logic programming