Archive

Posts Tagged ‘James Laird’

Imperative Programs as Proofs via Game Semantics

April 13th, 2011 04:28 View Comments