Archive

Posts Tagged ‘linear logic’

Imperative Programs as Proofs via Game Semantics

April 13th, 2011 04:28 View Comments