TY  - RPRT
TI  - Imperative Programs as Proofs via Game Semantics
AU  - Martin Churchill
AU  - Jim Laird
AU  - Guy McCusker
PY  - 2013
DO  - 10.1016/j.apal.2013.05.005
UR  - https://arxiv.org/abs/1307.2004
ID  - 1307.2004
ER  -