![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 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](https://www.pdfsearch.io/img/2696b1e8d192f436cffa7dd42f1232c2.jpg) Date: 2011-07-22 05:24:16Logic 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 UniversityAdd to Reading ListSource URL: logica.ugent.beDownload Document from Source Website File Size: 371,42 KBShare Document on Facebook
|