JetLib News
Automatically Filtered News
Home
About
Archive
Posts Tagged ‘completeness theorem’
Imperative Programs as Proofs via Game Semantics
April 13th, 2011 04:28
admin
View Comments