Imperative Programs as Proofs via Game Semantics

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

Abstract

Research Areas