Game Semantics for Higher-Order Unitary Quantum Computation.
Samson AbramskyRadha JagadeesanPublished in: CoRR (2024)
Keyphrases
- quantum computation
- higher order
- higher order logic
- video games
- formal semantics
- game theory
- high order
- computer games
- game play
- game design
- logic programming
- natural images
- operational semantics
- pairwise
- game playing
- nash equilibria
- lambda calculus
- game theoretic
- optimal strategy
- markov random field
- lower order
- default reasoning
- multi agent
- cooperative game
- real time strategy games
- game players
- decision problems
- database systems
- belief revision
- virtual world
- monte carlo