Home > lambdatheultimate > Imperative Programs as Proofs via Game Semantics

Imperative Programs as Proofs via Game Semantics

April 13th, 2011 04:28 Leave a comment Go to comments