Login / Signup
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.
Simon Castellan
Nobuko Yoshida
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
asynchronous communication
video games
formal semantics
computer games
game theory
semantic information
virtual world
logic programming
game play
nash equilibria
database systems
nash equilibrium
serious games
game playing
web search
perfect information
natural language