Archive

Posts Tagged ‘Guy McCusker’

Imperative Programs as Proofs via Game Semantics

April 13th, 2011 04:28 View Comments