`Travelled to:`

1 × Italy

1 × The Netherlands

`Collaborated with:`

F.Quaglia P.Baillot V.Danos L.Regnier

`Talks about:`

reduct (2) elementari (1) implement (1) parallel (1) interact (1) geometri (1) calculus (1) virtual (1) complex (1) direct (1)

## Person: Marco Pedicini

### DBLP: Pedicini:Marco

### Contributed to:

### Wrote 3 papers:

- PPDP-2000-PediciniQ #implementation #parallel #reduction #λ-calculus
- A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.
- TLCA-1999-BaillotP #complexity #geometry #interactive
- Elementary Complexity and Geometry of Interaction (PB, MP), pp. 25–39.
- CSL-1996-DanosPR #reduction
- Directed Virtual Reductions (VD, MP, LR), pp. 76–88.