Antonio Bucciarelli

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 15

Top Topics

Lower Dimension

Sequent Calculi

Clifford Algebra

Redescription Mining

Top Venues

Log. Methods Comput. Sci.

Publications

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