Archive

Posts Tagged ‘Martin Churchill’

Imperative Programs as Proofs via Game Semantics

April 13th, 2011 04:28 View Comments