Game semantics for dependent types.

Matthijs Vákár Radha Jagadeesan Samson Abramsky

Published in: Inf. Comput. (2018)

Keyphrases

formal semantics
video games
logic programming
game theory
game design
game theoretic
nash equilibrium
game play
game playing
repeated games
perfect information