Back to Results
First PageMeta Content
Theoretical computer science / Logic / Logic in computer science / Determinacy / Denotational semantics / Soundness / Proof theory / Deduction / Mathematical logic


Game semantics for programs
Add to Reading List

Document Date: 2012-02-20 07:30:38

Open Document

File Size: 2,16 MB

Share Result on Facebook
UPDATE