Antonino Salibra

53 papers A* 5B 10Journal 29Unranked 9
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
2022 J jnl
Sequent calculi of finite dimension.
CoRR
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
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
2017 J jnl
Factor varieties.
Soft Comput.
Antonino Salibra, Antonio Ledda, Francesco Paoli
2016 A* conf
Factor Varieties and Symbolic Computation.
LICS
Antonino Salibra, Giulio Manzonetto, Giordano Favro
2016 J jnl
Graph easy sets of mute lambda terms.
Theor. Comput. Sci.
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2014 — conf
A graph-easy class of mute lambda-terms.
ICTCS
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2013 — conf
Boolean like algebras.
TACL
Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
2013 J jnl
Ordered Models of the Lambda Calculus.
Log. Methods Comput. Sci.
Alberto Carraro, Antonino Salibra
2012 J jnl
Easy lambda-terms are not always simple.
RAIRO Theor. Informatics Appl.
Alberto Carraro, Antonino Salibra
2012 — conf
Minimal lambda-theories by ultraproducts
LSFA
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
2012 B conf
On the equational consistency of order-theoretic models of the lambda-calculus.
CSL
Alberto Carraro, Antonino Salibra
2012 B conf
Scott Is Always Simple.
MFCS
Antonino Salibra
2012 — conf
The stack calculus
LSFA
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2010 J jnl
Applying Universal Algebra to Lambda Calculus.
J. Log. Comput.
Giulio Manzonetto, Antonino Salibra
2010 B conf
Exponentials with Infinite Multiplicities.
CSL
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2010 B conf
Resource Combinatory Algebras.
MFCS
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2009 J jnl
Effective lambda-models versus recursively enumerable lambda-theories.
Math. Struct. Comput. Sci.
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2009 — conf
On Linear Information Systems
LINEARITY
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2009 A* conf
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.
LICS
Alberto Carraro, Antonino Salibra
2008 J jnl
Effective lambda-models vs recursively enumerable lambda-theories
CoRR
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2008 B conf
From lambda-Calculus to Universal Algebra and Back.
MFCS
Giulio Manzonetto, Antonino Salibra
2008 J jnl
Graph lambda theories.
Math. Struct. Comput. Sci.
Antonio Bucciarelli, Antonino Salibra
2007 B conf
Lambda Theories of Effective Lambda Models.
CSL
Chantal Berline, Giulio Manzonetto, Antonino Salibra
2006 A* conf
Boolean Algebras for Lambda Calculus.
LICS
Giulio Manzonetto, Antonino Salibra
2006 J jnl
Easiness in graph models.
Theor. Comput. Sci.
Chantal Berline, Antonino Salibra
2004 J jnl
The Lattice of Lambda Theories.
J. Log. Comput.
Stefania Lusin, Antonino Salibra
2004 A* conf
The Sensible Graph Theories of Lambda Calculus.
LICS
Antonio Bucciarelli, Antonino Salibra
2003 J jnl
A Note on Absolutely Unorderable Combinatory Algebras.
J. Log. Comput.
Stefania Lusin, Antonino Salibra
2003 B conf
The Minimal Graph Model of Lambda Calculus.
MFCS
Antonio Bucciarelli, Antonino Salibra
2003 J jnl
Topological incompleteness and order incompleteness of the lambda calculu.
ACM Trans. Comput. Log.
Antonino Salibra
2001 A* conf
A Continuum of Theories of Lambda Calculus without Semantics.
LICS
Antonino Salibra
2001 J jnl
Nonmodularity Results for Lambda Calculus.
Fundam. Informaticae
Antonino Salibra
2001 — conf
Towards Lambda Calculus Order-Incompleteness.
BOTH
Antonino Salibra
2000 J jnl
On the algebraic models of lambda calculus.
Theor. Comput. Sci.
Antonino Salibra
1999 J jnl
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.
Inf. Comput.
Antonino Salibra, Robert Goldblatt
1998 J jnl
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.
Fundam. Informaticae
Don Pigozzi, Antonino Salibra
1998 — conf
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n.
RelMiCS
Antonino Salibra
1997 J jnl
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.
Fundam. Informaticae
Don Pigozzi, Antonino Salibra
1996 J jnl
Interpolation and Compactness in Categories of Pre-Institutions.
Math. Struct. Comput. Sci.
Antonino Salibra, Giuseppe Scollo
1995 J jnl
Lambda Abstraction Algebras: Representation Theorems.
Theor. Comput. Sci.
Don Pigozzi, Antonino Salibra
1995 J jnl
The abstract variable-binding calculus.
Stud Logica
Don Pigozzi, Antonino Salibra
1993 B conf
A Representation Theorem for Lambda Abstraction Algebras.
MFCS
Don Pigozzi, Antonino Salibra
1993 — conf
Dimension-Complemented Lambda Abstraction Algebras.
AMAST
Don Pigozzi, Antonino Salibra
1992 J jnl
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.
Theor. Comput. Sci.
Vincenzo Manca, Antonino Salibra
1991 — conf
A Soft Stairway to Institutions.
COMPASS/ADT
Antonino Salibra, Giuseppe Scollo
1990 B conf
Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.
MFCS
Vincenzo Manca, Antonino Salibra
1990 J jnl
Equational Type Logic.
Theor. Comput. Sci.
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
1989 B conf
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).
MFCS
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
1984 J jnl
First-order theories as many-sorted algebras.
Notre Dame J. Formal Log.
Vincenzo Manca, Antonino Salibra