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:
2000
1999
1996Wrote 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.