Extensional Embedding of a Strongly Stable Model of PCF. - Antonio Bucciarelli; Thomas Ehrhard (ICALP, 1991)

Sequentiality and Strong Stability - Antonio Bucciarelli; Thomas Ehrhard (LICS, 1991)

Another Approach to Sequentiality: Kleene's Unimonotone Functions. - Antonio Bucciarelli (MFPS, 1993)

A Theory of Sequentiality. - Antonio Bucciarelli; Thomas Ehrhard (Theor. Comput. Sci., 1993)

Sequentiality in an Extensional Framework - Antonio Bucciarelli; Thomas Ehrhard (Inf. Comput., 1994)

Logical Reconstruction of Bi-domains. - Antonio Bucciarelli (TLCA, 1997)

Bi-Models: Relational Versus Domain-Theoretic Approaches. - Antonio Bucciarelli (Fundam. Informaticae, 1997)

Degrees of Parallelism in the Continuous Type Hierarchy. - Antonio Bucciarelli (Theor. Comput. Sci., 1997)

Totality, Definability and Boolean Ciruits. - Antonio Bucciarelli; Ivano Salvo (ICALP, 1998)

Some Computational Properties of Intersection Types. - Antonio Bucciarelli; Silvia De Lorenzis; Adolfo Piperno; Ivano Salvo (LICS, 1999)

On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. - Antonio Bucciarelli; Thomas Ehrhard (Ann. Pure Appl. Log., 2000)

On phase semantics and denotational semantics: the exponentials. - Antonio Bucciarelli; Thomas Ehrhard (Ann. Pure Appl. Log., 2001)

Relative definability of boolean functions via hypergraphs. - Antonio Bucciarelli; Pasquale Malacaria (Theor. Comput. Sci., 2002)

The Minimal Graph Model of Lambda Calculus. - Antonio Bucciarelli; Antonino Salibra (MFCS, 2003)

Relative Definability and Models of Unary PCF. - Antonio Bucciarelli; Benjamin Leperchey; Vincent Padovani (TLCA, 2003)

Intersection Types and lambda-Definability. - Antonio Bucciarelli; Adolfo Piperno; Ivano Salvo (Math. Struct. Comput. Sci., 2003)

Hypergraphs and Degrees of Parallelism: A Completeness Result. - Antonio Bucciarelli; Benjamin Leperchey (FoSSaCS, 2004)

The Sensible Graph Theories of Lambda Calculus. - Antonio Bucciarelli; Antonino Salibra (LICS, 2004)

Not Enough Points Is Enough. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (CSL, 2007)

Graph lambda theories. - Antonio Bucciarelli; Antonino Salibra (Math. Struct. Comput. Sci., 2008)

A Relational Model of a Parallel and Non-deterministic lambda-Calculus. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (LFCS, 2009)

On Linear Information Systems - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Antonino Salibra (LINEARITY, 2009)

Categorical Models for Simply Typed Resource Calculi. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (MFPS, 2010)

Full Abstraction for Resource Calculus with Tests. - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (CSL, 2011)

Extensional Collapse Situations I: non-termination and unrecoverable errors - Antonio Bucciarelli (CoRR, 2011)

A relational semantics for parallelism and non-determinism in a functional setting. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (Ann. Pure Appl. Log., 2012)

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (Log. Methods Comput. Sci., 2012)

Minimal lambda-theories by ultraproducts - Antonio Bucciarelli; Alberto Carraro; Antonino Salibra (LSFA, 2012)

A graph-easy class of mute lambda-terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (ICTCS, 2014)

The Inhabitation Problem for Non-idempotent Intersection Types. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (IFIP TCS, 2014)

Observability for Pair Pattern Calculi. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (TLCA, 2015)

Strong Normalization through Intersection Types and Memory. - Antonio Bucciarelli; Delia Kesner; Daniel Ventura (LSFA, 2015)

Graph easy sets of mute lambda terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (Theor. Comput. Sci., 2016)

Non-idempotent intersection types for the Lambda-Calculus. - Antonio Bucciarelli; Delia Kesner; Daniel Ventura (Log. J. IGPL, 2017)

Boolean-like algebras of finite dimension. - Antonio Bucciarelli; Antonio Ledda; Francesco Paoli; Antonino Salibra (CoRR, 2018)

Observability = Typability + Inhabitation. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (CoRR, 2018)

Inhabitation for Non-idempotent Intersection Types. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2018)

On noncommutative generalisations of Boolean algebras. - Antonio Bucciarelli; Antonino Salibra (Art Discret. Appl. Math., 2019)

Solvability = Typability + Inhabitation. - Antonio Bucciarelli; Delia Kesner; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2021)

Sequent calculi of finite dimension. - Antonio Bucciarelli; Antonio Ledda; Francesco Paoli; Antonino Salibra (CoRR, 2022)

Clones, polymorphisms and relations of arity omega. - Antonio Bucciarelli; Antonino Salibra (CoRR, 2023)

The bang calculus revisited. - Antonio Bucciarelli; Delia Kesner; Alejandro Ríos 001; Andrés Viso (Inf. Comput., 2023)