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