Back to Results
First PageMeta Content
Logic / Proof theory / Programming language semantics / Curry–Howard correspondence / Philosophy of computer science / Type theory / Operational semantics / Programming language / Interpretation / Theoretical computer science / Logic in computer science / Mathematical logic


Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University
Add to Reading List

Document Date: 2011-07-22 05:24:16

Open Document

File Size: 371,42 KB

Share Result on Facebook

City

Nancy / /

Country

France / /

/

Facility

Ghent University / /

IndustryTerm

distributed computing / /

Organization

Ghent University / Flemish Research Foundation Centre for Logic and Philosophy of Science / Oxford University / /

Person

Walker / Jia / /

PublishedMedium

Philosophy of Science / /

URL

http /

SocialTag