TY - RPRT TI - A Game-Semantic Model of Computation, Revisited: an Automata-Theoretic Perspective AU - Norihiro Yamada PY - 2019 UR - https://arxiv.org/abs/1806.10435 ID - 1806.10435 ER -