Travelled to:
1 × Denmark
1 × Finland
1 × France
1 × Italy
1 × Norway
1 × Poland
1 × Switzerland
1 × The Netherlands
3 × Spain
Collaborated with:
T.Ehrhard B.Leperchey I.Salvo G.Manzonetto A.Salibra ∅ D.Kesner S.R.D.Rocca V.Padovani A.Carraro S.D.Lorenzis A.Piperno
Talks about:
calculus (2) strong (2) enough (2) model (2) defin (2) pcf (2) reconstruct (1) hypergraph (1) intersect (1) extension (1)
Person: Antonio Bucciarelli
DBLP: Bucciarelli:Antonio
Contributed to:
Wrote 11 papers:
- TLCA-2015-BucciarelliKR #calculus
- Observability for Pair Pattern Calculi (AB, DK, SRDR), pp. 123–137.
- CSL-2011-BucciarelliCEM #abstraction #calculus #testing
- Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
- CSL-2007-BucciarelliEM
- Not Enough Points Is Enough (AB, TE, GM), pp. 298–312.
- FoSSaCS-2004-BucciarelliL #parallel
- Hypergraphs and Degrees of Parallelism: A Completeness Result (AB, BL), pp. 58–71.
- LICS-2004-BucciarelliS #graph #λ-calculus
- The Sensible Graph Theories of λ Calculus (AB, AS), pp. 276–285.
- TLCA-2003-BucciarelliLP #modelling
- Relative Definability and Models of Unary PCF (AB, BL, VP), pp. 75–89.
- LICS-1999-BucciarelliLPS
- Some Computational Properties of Intersection Types (AB, SDL, AP, IS), pp. 109–118.
- ICALP-1998-BucciarelliS
- Totality, Definability and Boolean Ciruits (AB, IS), pp. 808–819.
- TLCA-1997-Buciarelli #logic #re-engineering
- Logical Reconstruction of Bi-domains (AB), pp. 99–111.
- ICALP-1991-BucciarelliE
- Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.
- LICS-1991-BucciarelliE
- Sequentiality and Strong Stability (AB, TE), pp. 138–145.