Imperative Programs as Proofs via Game Semantics

James Laird
Guy McCusker
LICS (2011), pp. 65-74

Abstract