TY  - RPRT
TI  - Dynamic Game Semantics
AU  - Norihiro Yamada
AU  - Samson Abramsky
PY  - 2018
DO  - 10.1017/s0960129520000250
UR  - https://arxiv.org/abs/1601.04147
ID  - 1601.04147
ER  -