Search the dblp DataBase

Publications of Author

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