Imperative programs as proofs via game semantics

Jim Laird
Guy McCusker
Ann. Pure Appl. Logic, 164 (2013), pp. 1038-1078

Abstract

×