| 2009 |
|---|
| 21 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
A Relational Model of a Parallel and Non-deterministic lambda-Calculus.
LFCS 2009: 107-121 |
| 2008 |
|---|
| 20 | EE | Antonio Bucciarelli,
Antonino Salibra:
Graph lambda theories.
Mathematical Structures in Computer Science 18(5): 975-1004 (2008) |
| 2007 |
|---|
| 19 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
Not Enough Points Is Enough.
CSL 2007: 298-312 |
| 2004 |
|---|
| 18 | EE | Antonio Bucciarelli,
Benjamin Leperchey:
Hypergraphs and Degrees of Parallelism: A Completeness Result.
FoSSaCS 2004: 58-71 |
| 17 | EE | Antonio Bucciarelli,
Antonino Salibra:
The Sensible Graph Theories of Lambda Calculus.
LICS 2004: 276-285 |
| 2003 |
|---|
| 16 | EE | Antonio Bucciarelli,
Antonino Salibra:
The Minimal Graph Model of Lambda Calculus.
MFCS 2003: 300-307 |
| 15 | EE | Antonio Bucciarelli,
Benjamin Leperchey,
Vincent Padovani:
Relative Definability and Models of Unary PCF.
TLCA 2003: 75-89 |
| 14 | | Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo:
Intersection Types and lambda-Definability.
Mathematical Structures in Computer Science 13(1): 15-53 (2003) |
| 2002 |
|---|
| 13 | EE | Antonio Bucciarelli,
Pasquale Malacaria:
Relative definability of boolean functions via hypergraphs.
Theor. Comput. Sci. 278(1-2): 91-110 (2002) |
| 2001 |
|---|
| 12 | | Antonio Bucciarelli,
Thomas Ehrhard:
On phase semantics and denotational semantics: the exponentials.
Ann. Pure Appl. Logic 109(3): 205-241 (2001) |
| 2000 |
|---|
| 11 | | Antonio Bucciarelli,
Thomas Ehrhard:
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic.
Ann. Pure Appl. Logic 102(3): 247-282 (2000) |
| 1999 |
|---|
| 10 | EE | Antonio Bucciarelli,
Silvia De Lorenzis,
Adolfo Piperno,
Ivano Salvo:
Some Computational Properties of Intersection Types.
LICS 1999: 109-118 |
| 1998 |
|---|
| 9 | EE | Antonio Bucciarelli,
Ivano Salvo:
Totality, Definability and Boolean Ciruits.
ICALP 1998: 808-819 |
| 1997 |
|---|
| 8 | | Antonio Bucciarelli:
Logical Reconstruction of Bi-domains.
TLCA 1997: 99-111 |
| 7 | | Antonio Bucciarelli:
Bi-Models: Relational Versus Domain-Theoretic Approaches.
Fundam. Inform. 32(3-4): 251-266 (1997) |
| 6 | EE | Antonio Bucciarelli:
Degrees of Parallelism in the Continuous Type Hierarchy.
Theor. Comput. Sci. 177(1): 59-71 (1997) |
| 1994 |
|---|
| 5 | | Antonio Bucciarelli,
Thomas Ehrhard:
Sequentiality in an Extensional Framework
Inf. Comput. 110(2): 265-296 (1994) |
| 1993 |
|---|
| 4 | | Antonio Bucciarelli:
Another Approach to Sequentiality: Kleene's Unimonotone Functions.
MFPS 1993: 333-358 |
| 3 | | Antonio Bucciarelli,
Thomas Ehrhard:
A Theory of Sequentiality.
Theor. Comput. Sci. 113(2): 273-291 (1993) |
| 1991 |
|---|
| 2 | | Antonio Bucciarelli,
Thomas Ehrhard:
Extensional Embedding of a Strongly Stable Model of PCF.
ICALP 1991: 35-46 |
| 1 | | Antonio Bucciarelli,
Thomas Ehrhard:
Sequentiality and Strong Stability
LICS 1991: 138-145 |
