JetLib News
Automatically Filtered News
Home
About
Home
>
lambdatheultimate
> Imperative Programs as Proofs via Game Semantics
Imperative Programs as Proofs via Game Semantics
April 13th, 2011 04:28
admin
Leave a comment
Go to comments