BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bucciarelli:Antonio

Contributed to:

TLCA 20152015
CSL 20112011
CSL 20072007
FoSSaCS 20042004
LICS 20042004
TLCA 20032003
LICS 19991999
ICALP 19981998
TLCA 19971997
ICALP 19911991
LICS 19911991

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.

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.