Follow
Antonino Salibra
Antonino Salibra
Verified email at dsi.unive.it
Title
Cited by
Cited by
Year
Equational type logic
V Manca, A Salibra, G Scollo
Theoretical Computer Science 77 (1-2), 131-159, 1990
681990
On the algebraic models of lambda calculus
A Salibra
Theoretical Computer Science 249 (1), 197-240, 2000
602000
A soft stairway to institutions
A Salibra, G Scollo
Workshop on the Specification of Abstract Data Types, 310-329, 1991
601991
The lattice of lambda theories
S Lusin, A Salibra
Journal of Logic and Computation 14 (3), 373-394, 2004
572004
Topological incompleteness and order incompleteness of the lambda calculus
A Salibra
ACM Transactions on Computational Logic (TOCL) 4 (3), 379-401, 2003
552003
Applying universal algebra to lambda calculus
G Manzonetto, A Salibra
Journal of Logic and computation 20 (4), 877-915, 2010
502010
Lambda abstraction algebras: representation theorems
D Pigozzi, A Salibra
Theoretical Computer Science 140 (1), 5-52, 1995
421995
Boolean-like algebras
A Salibra, A Ledda, F Paoli, T Kowalski
Algebra Universalis 69, 113-138, 2013
412013
Lambda abstraction algebras: coordinatizing models of lambda calculus
D Pigozzi, A Salibra
Fundamenta Informaticae 33 (2), 149-200, 1998
391998
From λ-Calculus to Universal Algebra and Back
G Manzonetto, A Salibra
Mathematical Foundations of Computer Science 2008: 33rd Internationalá…, 2008
342008
The abstract variable-binding calculus
D Pigozzi, A Salibra
Studia Logica 55 (1), 129-179, 1995
341995
Interpolation and compactness in categories of pre-institutions
A Salibra, G Scollo
Mathematical Structures in Computer Science 6 (3), 261-286, 1996
331996
An introduction to lambda abstraction algebras
D Pigozzi, A Salibra
IX Simposio Latinoamericano de Logica Matematica 38, 93-112, 1993
311993
Boolean algebras for lambda calculus
G Manzonetto, A Salibra
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006
302006
A finite equational axiomatization of the functional algebras for the lambda calculus
A Salibra, R Goldblatt
Information and Computation 148 (1), 71-130, 1999
301999
A continuum of theories of lambda calculus without semantics
A Salibra
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 334-343, 2001
282001
Easiness in graph models
C Berline, A Salibra
Theoretical Computer Science 354, 4-23, 2006
272006
The sensible graph theories of lambda calculus
A Bucciarelli, A Salibra
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Scienceá…, 2004
272004
Polyadic algebras over nonclassical logics
D Pigozzi, A Salibra
Banach Center Publications 28 (1), 51-66, 1993
271993
Graph lambda theories
A Bucciarelli, A Salibra
Mathematical Structures in Computer Science 18 (5), 975-1004, 2008
262008
The system can't perform the operation now. Try again later.
Articles 1–20