dblp.uni-trier.dewww.uni-trier.de

Antonio Bucciarelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEAntonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS 2009: 107-121
2008
20EEAntonio Bucciarelli, Antonino Salibra: Graph lambda theories. Mathematical Structures in Computer Science 18(5): 975-1004 (2008)
2007
19EEAntonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Not Enough Points Is Enough. CSL 2007: 298-312
2004
18EEAntonio Bucciarelli, Benjamin Leperchey: Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS 2004: 58-71
17EEAntonio Bucciarelli, Antonino Salibra: The Sensible Graph Theories of Lambda Calculus. LICS 2004: 276-285
2003
16EEAntonio Bucciarelli, Antonino Salibra: The Minimal Graph Model of Lambda Calculus. MFCS 2003: 300-307
15EEAntonio 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
13EEAntonio 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
10EEAntonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo: Some Computational Properties of Intersection Types. LICS 1999: 109-118
1998
9EEAntonio 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)
6EEAntonio 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
4EEAntonio 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
2EEAntonio 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

Coauthor Index

1Thomas Ehrhard [1] [2] [3] [5] [11] [12] [19] [21]
2Benjamin Leperchey [15] [18]
3Silvia De Lorenzis [10]
4Pasquale Malacaria [13]
5Giulio Manzonetto [19] [21]
6Vincent Padovani [15]
7Adolfo Piperno [10] [14]
8Antonino Salibra [16] [17] [20]
9Ivano Salvo [9] [10] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)