Travelled to:1 × Brazil
1 × France
1 × Japan
1 × Spain
Collaborated with:C.Faggian L.Paolini M.Gaboardi
Talks about:linear (4) semant (2) structur (1) strategi (1) finitari (1) calculus (1) program (1) partial (1) languag (1) insight (1)
Person: Mauro Piccolo
DBLP: Piccolo:Mauro
Contributed to:
2011
2009
20082007Wrote 4 papers:
- ICFP-2011-GaboardiPP #exclamation #semantics
- Linearity and PCF: a semantic insight! (MG, LP, MP), pp. 372–384.
- TLCA-2009-FaggianP #linear #partial order
- Partial Orders, Event Structures and Linear Strategies (CF, MP), pp. 95–111.
- PPDP-2008-PaoliniP #linear #programming language #semantics
- Semantically linear programming languages (LP, MP), pp. 97–107.
- TLCA-2007-FaggianP #linear #π-calculus
- Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.