Antonino Salibra

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 7

Top Topics

Relation Algebra

Boolean Functions

Sequent Calculi

Top Venues

Publications

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