Imperative Programs as Proofs via Game Semantics

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

Abstract

Research Areas