`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:

### Wrote 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.