|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Mauro Piccolo | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2012 | |
| Paolini, Piccolo and Ronchi Della Rocca | "Logical Relational Lambda-Models" Unpublished: DRAFT. |
| 2011 | |
| Gaboardi, Paolini and Piccolo | "Linearity and PCF: a semantic insight!" In proceedings: ICFP 2011. |
| 2010 | |
| Piccolo | "Strong Normalization in the -calculus with Intersection and Union Types" Article. |
| 2009 | |
| Faggian and Piccolo | "Partial Orders, Event Structures and Linear Strategies" In proceedings. |
| Gaboardi and Piccolo | "Categorical Models for a Semantically Linear -calculus" In proceedings. |
| Paolini and Piccolo | "A Process-Model for Linear Programs" In proceedings. |
| Paolini, Piccolo and Ronchi Della Rocca | "Logical Semantics for Stability" In proceedings: MFPS 2009. |
| Piccolo | "Linearity and Beyond in Denotational Semantics" PhD thesis. |
| 2008 | |
| Paolini and Piccolo | "Semantically Linear Programming Languages" In proceedings: PPDP 2008. |
| Piccolo | "Strong Normalization in the -calculus with Intersection and Union Types" Unpublished. |
| 2007 | |
| Faggian and Piccolo | "A Graph Abstract Machine Describing Event Structure Composition" Article. |
| Faggian and Piccolo | "Ludics is a Model for the Finitary Linear Pi-Calculus" In proceedings. |
| 2006 | |
| Piccolo | "Strutture ad Eventi e Strategie: un Ponte fra Teoria della Concorrenza e Semantica dei Giochi" Master's thesis: Tesi di Laurea in Informatica. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)