BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pedicini:Marco

Contributed to:

PPDP 20002000
TLCA 19991999
CSL 19961996

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.