Jump to Content

Imperative Programs as Proofs via Game Semantics

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

Abstract

Research Areas