Antonio Bucciarelli

	2012
26		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Logic 163(7): 918-934 (2012)
	2011
25		Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto: Full Abstraction for Resource Calculus with Tests. CSL 2011: 97-111
24		Antonio Bucciarelli: Extensional Collapse Situations I: non-termination and unrecoverable errors CoRR abs/1101.4465: (2011)
	2010
23		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Categorical Models for Simply Typed Resource Calculi. Electr. Notes Theor. Comput. Sci. 265: 213-230 (2010)
	2009
22		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS 2009: 107-121
21		Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra: On Linear Information Systems LINEARITY 2009: 38-48
	2008
20		Antonio Bucciarelli, Antonino Salibra: Graph lambda theories. Mathematical Structures in Computer Science 18(5): 975-1004 (2008)
	2007
19		Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Not Enough Points Is Enough. CSL 2007: 298-312
	2004
18		Antonio Bucciarelli, Benjamin Leperchey: Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS 2004: 58-71
17		Antonio Bucciarelli, Antonino Salibra: The Sensible Graph Theories of Lambda Calculus. LICS 2004: 276-285
	2003
16		Antonio Bucciarelli, Antonino Salibra: The Minimal Graph Model of Lambda Calculus. MFCS 2003: 300-307
15		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		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		Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo: Some Computational Properties of Intersection Types. LICS 1999: 109-118
	1998
9		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page