Imperative Programs as Proofs via Game Semantics

Jim Laird
Guy McCusker
CoRR, abs/1307.2004 (2013)

Abstract