Antonio Bucciarelli

47 papers A* 5B 6Misc 2Journal 26Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Groups and Inverse Semigroups in Lambda Calculus.
CoRR
Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra
2025 J jnl
The higher dimensional propositional calculus.
Log. J. IGPL
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda, Francesco Paoli, Antonino Salibra
2023 J jnl
Clones, polymorphisms and relations of arity omega.
CoRR
Antonio Bucciarelli, Antonino Salibra
2023 J jnl
The bang calculus revisited.
Inf. Comput.
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2022 J jnl
Sequent calculi of finite dimension.
CoRR
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
2021 J jnl
Solvability = Typability + Inhabitation.
Log. Methods Comput. Sci.
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2020 Misc conf
The Bang Calculus Revisited.
FLOPS
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2020 J jnl
The Bang Calculus Revisited.
CoRR
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
2019 J jnl
On noncommutative generalisations of Boolean algebras.
Art Discret. Appl. Math.
Antonio Bucciarelli, Antonino Salibra
2018 J jnl
Boolean-like algebras of finite dimension.
CoRR
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
2018 J jnl
Inhabitation for Non-idempotent Intersection Types.
Log. Methods Comput. Sci.
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2018 J jnl
Observability = Typability + Inhabitation.
CoRR
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2017 J jnl
Inhabitation for Non-idempotent Intersection Types.
CoRR
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2017 J jnl
Non-idempotent intersection types for the Lambda-Calculus.
Log. J. IGPL
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
2016 J jnl
Graph easy sets of mute lambda terms.
Theor. Comput. Sci.
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2015 — conf
Observability for Pair Pattern Calculi.
TLCA
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2015 — conf
Strong Normalization through Intersection Types and Memory.
LSFA
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
2014 — conf
A graph-easy class of mute lambda-terms.
ICTCS
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2014 — conf
The Inhabitation Problem for Non-idempotent Intersection Types.
IFIP TCS
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2012 J jnl
A relational semantics for parallelism and non-determinism in a functional setting.
Ann. Pure Appl. Log.
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2012 J jnl
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Log. Methods Comput. Sci.
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2012 — conf
Minimal lambda-theories by ultraproducts
LSFA
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
2011 J jnl
Extensional Collapse Situations I: non-termination and unrecoverable errors
CoRR
Antonio Bucciarelli
2011 B conf
Full Abstraction for Resource Calculus with Tests.
CSL
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2010 B conf
Categorical Models for Simply Typed Resource Calculi.
MFPS
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2009 Misc conf
A Relational Model of a Parallel and Non-deterministic lambda-Calculus.
LFCS
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2009 — conf
On Linear Information Systems
LINEARITY
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2008 J jnl
Graph lambda theories.
Math. Struct. Comput. Sci.
Antonio Bucciarelli, Antonino Salibra
2007 B conf
Not Enough Points Is Enough.
CSL
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2004 B conf
Hypergraphs and Degrees of Parallelism: A Completeness Result.
FoSSaCS
Antonio Bucciarelli, Benjamin Leperchey
2004 A* conf
The Sensible Graph Theories of Lambda Calculus.
LICS
Antonio Bucciarelli, Antonino Salibra
2003 J jnl
Intersection Types and lambda-Definability.
Math. Struct. Comput. Sci.
Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
2003 — conf
Relative Definability and Models of Unary PCF.
TLCA
Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
2003 B conf
The Minimal Graph Model of Lambda Calculus.
MFCS
Antonio Bucciarelli, Antonino Salibra
2002 J jnl
Relative definability of boolean functions via hypergraphs.
Theor. Comput. Sci.
Antonio Bucciarelli, Pasquale Malacaria
2001 J jnl
On phase semantics and denotational semantics: the exponentials.
Ann. Pure Appl. Log.
Antonio Bucciarelli, Thomas Ehrhard
2000 J jnl
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic.
Ann. Pure Appl. Log.
Antonio Bucciarelli, Thomas Ehrhard
1999 A* conf
Some Computational Properties of Intersection Types.
LICS
Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
1998 A* conf
Totality, Definability and Boolean Ciruits.
ICALP
Antonio Bucciarelli, Ivano Salvo
1997 J jnl
Bi-Models: Relational Versus Domain-Theoretic Approaches.
Fundam. Informaticae
Antonio Bucciarelli
1997 J jnl
Degrees of Parallelism in the Continuous Type Hierarchy.
Theor. Comput. Sci.
Antonio Bucciarelli
1997 — conf
Logical Reconstruction of Bi-domains.
TLCA
Antonio Bucciarelli
1994 J jnl
Sequentiality in an Extensional Framework
Inf. Comput.
Antonio Bucciarelli, Thomas Ehrhard
1993 J jnl
A Theory of Sequentiality.
Theor. Comput. Sci.
Antonio Bucciarelli, Thomas Ehrhard
1993 B conf
Another Approach to Sequentiality: Kleene's Unimonotone Functions.
MFPS
Antonio Bucciarelli
1991 A* conf
Extensional Embedding of a Strongly Stable Model of PCF.
ICALP
Antonio Bucciarelli, Thomas Ehrhard
1991 A* conf
Sequentiality and Strong Stability
LICS
Antonio Bucciarelli, Thomas Ehrhard