×
Edit Profile (opens in new tab)

Bucciarelli, Antonio

Co-Author Distance
Author ID: bucciarelli.antonio Recent zbMATH articles by "Bucciarelli, Antonio"
Published as: Bucciarelli, Antonio; Bucciarelli, A.
External Links: MGP
Documents Indexed: 35 Publications since 1991, including 1 Additional arXiv Preprint
Co-Authors: 15 Co-Authors with 31 Joint Publications
165 Co-Co-Authors
all top 5

Co-Authors

4 single-authored
12 Ehrhard, Thomas
8 Kesner, Delia
8 Salibra, Antonino
6 Manzonetto, Giulio
5 Carraro, Alberto
4 Ronchi Della Rocca, Simona
2 Leperchey, Benjamin
2 Ríos, Alejandro
2 Lima Ventura, Daniel
2 Viso, Andrés
1 Favro, Giordano
1 Malacaria, Pasquale
1 Padovani, Vincent
1 Piperno, Adolfo
1 Salvo, Ivano
all top 5

Serials

4 Theoretical Computer Science
3 Annals of Pure and Applied Logic
3 Logical Methods in Computer Science
2 Information and Computation
2 Mathematical Structures in Computer Science
1 Algebra Universalis
1 Annales Societatis Mathematicae Polonae. Series IV
1 Logic Journal of the IGPL
1 The Art of Discrete and Applied Mathematics
all top 5

Fields

23 Mathematical logic and foundations (03-XX)
20 Computer science (68-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
5 Category theory; homological algebra (18-XX)
3 General algebraic systems (08-XX)
1 Combinatorics (05-XX)
1 Numerical analysis (65-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

32 Publications have been cited 200 times in 130 Documents Cited by ▼ Year ▼
On phase semantics and denotational semantics: The exponentials. Zbl 1004.03051
Bucciarelli, Antonio; Ehrhard, Thomas
26
2001
Not enough points is enough. Zbl 1179.03021
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
26
2007
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
20
2017
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
16
2014
Categorical models for simply typed resource calculi. Zbl 1342.68048
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
13
2010
Sequentiality in an extensional framework. Zbl 0807.68064
Bucciarelli, Antonio; Ehrhard, Thomas
13
1994
On phase semantics and denotational semantics in multiplicative-additive linear logic. Zbl 0949.03057
Bucciarelli, Antonio; Ehrhard, Thomas
11
2000
A theory of sequentiality. Zbl 0779.68056
Bucciarelli, Antonio; Ehrhard, Thomas
9
1993
A relational semantics for parallelism and non-determinism in a functional setting. Zbl 1241.03010
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
9
2012
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés
8
2020
A relational model of a parallel and non-deterministic \(\lambda \)-calculus. Zbl 1211.03026
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
6
2009
Extensional embedding of a strongly stable model of PCF. Zbl 0786.68053
Bucciarelli, Antonio; Ehrhard, Thomas
5
1991
Full abstraction for resource calculus with tests. Zbl 1247.03020
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio
4
2011
Degrees of parallelism in the continuous type hierarchy. Zbl 0901.68066
Bucciarelli, Antonio
3
1997
Intersection types and \(\lambda\)-definability. Zbl 1029.03005
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano
3
2003
Graph lambda theories. Zbl 1158.03008
Bucciarelli, Antonio; Salibra, Antonino
3
2008
The minimal graph model of lambda calculus. Zbl 1124.03315
Bucciarelli, Antonio; Salibra, Antonino
3
2003
On linear information systems. Zbl 1454.03081
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Salibra, Antonino
3
2010
Graph easy sets of mute lambda terms. Zbl 1432.03020
Bucciarelli, A.; Carraro, A.; Favro, G.; Salibra, A.
2
2016
Full abstraction for the resource lambda calculus with tests, through Taylor expansion. Zbl 1260.03021
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio
2
2012
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
2
2018
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
2
2015
Another approach to sequentiality: Kleene’s unimonotone functions. Zbl 1509.68144
Bucciarelli, Antonio
2
1994
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
1
2016
Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024
Bucciarelli, Antonio
1
1997
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale
1
2002
Logical reconstruction of bi-domains. Zbl 1063.68598
Bucciarelli, Antonio
1
1997
Relative definability and models of unary PCF. Zbl 1039.68031
Bucciarelli, Antonio; Leperchey, Benjamin; Padovani, Vincent
1
2003
Minimal \(\lambda\)-theories by ultraproducts. Zbl 1464.03009
Bucciarelli, Antonio; Carraro, Alberto; Salibra, Antonino
1
2013
Hypergraphs and degrees of parallelism: A completeness result. Zbl 1126.68334
Bucciarelli, Antonio; Leperchey, Benjamin
1
2004
Solvability = typability + inhabitation. Zbl 1509.03056
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2021
An algebraic theory of clones. Zbl 1496.08003
Bucciarelli, Antonio; Salibra, Antonino
1
2022
An algebraic theory of clones. Zbl 1496.08003
Bucciarelli, Antonio; Salibra, Antonino
1
2022
Solvability = typability + inhabitation. Zbl 1509.03056
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
1
2021
The bang calculus revisited. Zbl 07368082
Bucciarelli, Antonio; Kesner, Delia; Ríos, Alejandro; Viso, Andrés
8
2020
Inhabitation for non-idempotent intersection types. Zbl 1448.68208
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
2
2018
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
20
2017
Graph easy sets of mute lambda terms. Zbl 1432.03020
Bucciarelli, A.; Carraro, A.; Favro, G.; Salibra, A.
2
2016
Strong normalization through intersection types and memory. Zbl 1394.03023
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
1
2016
Observability for pair pattern calculi. Zbl 1367.68048
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
2
2015
The inhabitation problem for non-idempotent intersection types. Zbl 1417.68027
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
16
2014
Minimal \(\lambda\)-theories by ultraproducts. Zbl 1464.03009
Bucciarelli, Antonio; Carraro, Alberto; Salibra, Antonino
1
2013
A relational semantics for parallelism and non-determinism in a functional setting. Zbl 1241.03010
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
9
2012
Full abstraction for the resource lambda calculus with tests, through Taylor expansion. Zbl 1260.03021
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio
2
2012
Full abstraction for resource calculus with tests. Zbl 1247.03020
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Manzonetto, Giulio
4
2011
Categorical models for simply typed resource calculi. Zbl 1342.68048
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
13
2010
On linear information systems. Zbl 1454.03081
Bucciarelli, Antonio; Carraro, Alberto; Ehrhard, Thomas; Salibra, Antonino
3
2010
A relational model of a parallel and non-deterministic \(\lambda \)-calculus. Zbl 1211.03026
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
6
2009
Graph lambda theories. Zbl 1158.03008
Bucciarelli, Antonio; Salibra, Antonino
3
2008
Not enough points is enough. Zbl 1179.03021
Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio
26
2007
Hypergraphs and degrees of parallelism: A completeness result. Zbl 1126.68334
Bucciarelli, Antonio; Leperchey, Benjamin
1
2004
Intersection types and \(\lambda\)-definability. Zbl 1029.03005
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano
3
2003
The minimal graph model of lambda calculus. Zbl 1124.03315
Bucciarelli, Antonio; Salibra, Antonino
3
2003
Relative definability and models of unary PCF. Zbl 1039.68031
Bucciarelli, Antonio; Leperchey, Benjamin; Padovani, Vincent
1
2003
Relative definability of boolean functions via hypergraphs. Zbl 1002.68106
Bucciarelli, Antonio; Malacaria, Pasquale
1
2002
On phase semantics and denotational semantics: The exponentials. Zbl 1004.03051
Bucciarelli, Antonio; Ehrhard, Thomas
26
2001
On phase semantics and denotational semantics in multiplicative-additive linear logic. Zbl 0949.03057
Bucciarelli, Antonio; Ehrhard, Thomas
11
2000
Degrees of parallelism in the continuous type hierarchy. Zbl 0901.68066
Bucciarelli, Antonio
3
1997
Bi-models: Relational versus domain-theoretic approaches. Zbl 0926.68024
Bucciarelli, Antonio
1
1997
Logical reconstruction of bi-domains. Zbl 1063.68598
Bucciarelli, Antonio
1
1997
Sequentiality in an extensional framework. Zbl 0807.68064
Bucciarelli, Antonio; Ehrhard, Thomas
13
1994
Another approach to sequentiality: Kleene’s unimonotone functions. Zbl 1509.68144
Bucciarelli, Antonio
2
1994
A theory of sequentiality. Zbl 0779.68056
Bucciarelli, Antonio; Ehrhard, Thomas
9
1993
Extensional embedding of a strongly stable model of PCF. Zbl 0786.68053
Bucciarelli, Antonio; Ehrhard, Thomas
5
1991
all cited Publications top 5 cited Publications
all top 5

Cited by 127 Authors

17 Ehrhard, Thomas
15 Kesner, Delia
12 Bucciarelli, Antonio
12 Manzonetto, Giulio
6 Lima Ventura, Daniel
5 Alves, Sandra
5 Guerrieri, Giulio
5 Vial, Pierre
4 Cockett, J. Robin B.
4 Díaz-Caro, Alejandro
4 Pacaud Lemay, Jean-Simon
4 Pagani, Michele
4 Paolini, Luca
4 Ronchi Della Rocca, Simona
4 Salibra, Antonino
3 Accattoli, Beniamino
3 Berline, Chantal
3 de Carvalho, Daniel
3 Espírito Santo, José Carlos
3 Gorla, Daniele
3 Hamano, Masahiro
3 Piccolo, Mauro
3 Pinto, Luís F.
3 Salvo, Ivano
3 Vaux, Lionel
2 Boudes, Pierre
2 Curien, Pierre-Louis
2 de’Liguoro, Ugo
2 Dowek, Gilles
2 Faggian, Claudia
2 Florido, Mário
2 Gaboardi, Marco
2 Goldin, Dina Q.
2 Karádais, Basil A.
2 Longley, John R.
2 Malacaria, Pasquale
2 Matthes, Ralph
2 McCusker, Guy Andrew
2 Palmigiano, Alessandra
2 Peyrot, Loïc
2 Ríos, Alejandro
2 Ruoppolo, Domenico
2 Smolka, Scott A.
2 Takemura, Ryo
2 Tasson, Christine
2 Treglia, Riccardo
2 Valiron, Benoît
2 Viso, Andrés
1 Abramsky, Samson
1 Alvarez-Picallo, Mario
1 Ângelo, Pedro
1 Arrighi, Pablo
1 Attie, Paul C.
1 Aubert, Clément
1 Balabonski, Thibaut
1 Baldan, Paolo
1 Bono, Viviana
1 Breuvart, Flavien
1 Broda, Sabine
1 Bruasse-Bac, Alexandra
1 Carraro, Alberto
1 Cerda, Rémy
1 Clairambault, Pierre
1 Clift, James
1 Conradie, Willem
1 Cruttwell, Geoffrey S. H.
1 Dabrowski, Yoann
1 Danos, Vincent
1 De Benedetti, Erika
1 Dezani-Ciancaglini, Mariangiola
1 Dudenhefner, Andrej
1 Dunn, Jon Michael
1 Favro, Giordano
1 Fazio, Davide
1 Frittella, Sabine
1 Fukihara, Yōji
1 Gallagher, J. D.
1 Gallagher, Jonathan
1 Garner, Richard
1 Gehrke, Mai
1 Graham-Lengrand, Stéphane
1 Honsell, Furio
1 Jagadeesan, Radha
1 Katsumata, Shin-ya
1 Kerjean, Marie
1 Kumduang, Thodsaporn
1 Kuznetsov, Stepan L’vovich
1 Laird, Jim
1 Lanco, Antoine
1 Laurent, Olivier
1 Leberle, Maico
1 Ledda, Antonio
1 Lenisa, Marina
1 Liquori, Luigi
1 Manzyuk, Oleksandr
1 Melquiond, Guillaume
1 Murfet, Daniel
1 Ong, Chih-Hao Luke
1 Orchard, Dominic A.
1 Padoan, Tommaso
...and 27 more Authors
all top 5

Cited in 15 Serials

19 Mathematical Structures in Computer Science
14 Logical Methods in Computer Science
12 Information and Computation
10 Theoretical Computer Science
7 Annals of Pure and Applied Logic
3 The Journal of Symbolic Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Applied Categorical Structures
2 Theory and Applications of Categories
1 Studia Logica
1 Acta Mathematica Universitatis Comenianae. New Series
1 Mathematical Logic Quarterly (MLQ)
1 Journal of Functional Programming
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Research in the Mathematical Sciences
all top 5

Cited in 12 Fields

85 Computer science (68-XX)
83 Mathematical logic and foundations (03-XX)
26 Category theory; homological algebra (18-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 General algebraic systems (08-XX)
1 Group theory and generalizations (20-XX)
1 Functional analysis (46-XX)
1 Geometry (51-XX)
1 General topology (54-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Numerical analysis (65-XX)

Citations by Year