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
A soft stairway to institutions
A Salibra, G Scollo
Workshop on the Specification of Abstract Data Types, 310-329, 1991
621991
On the algebraic models of lambda calculus
A Salibra
Theoretical Computer Science 249 (1), 197-240, 2000
612000
The lattice of lambda theories
S Lusin, A Salibra
Journal of Logic and Computation 14 (3), 373-394, 2004
562004
Topological incompleteness and order incompleteness of the lambda calculus
A Salibra
ACM Transactions on Computational Logic (TOCL) 4 (3), 379-401, 2003
532003
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
381998
The abstract variable-binding calculus
D Pigozzi, A Salibra
Studia Logica 55 (1), 129-179, 1995
351995
From λ-Calculus to Universal Algebra and Back
G Manzonetto, A Salibra
Mathematical Foundations of Computer Science 2008: 33rd International …, 2008
342008
Interpolation and compactness in categories of pre-institutions
A Salibra, G Scollo
Mathematical Structures in Computer Science 6 (3), 261-286, 1996
331996
Boolean algebras for lambda calculus
G Manzonetto, A Salibra
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006
312006
An introduction to lambda abstraction algebras
D Pigozzi, A Salibra
IX Simposio Latinoamericano de Logica Matematica 38, 93-112, 1993
311993
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
Exponentials with infinite multiplicities
A Carraro, T Ehrhard, A Salibra
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
282010
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
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
Easiness in graph models
C Berline, A Salibra
Theoretical Computer Science 354, 4-23, 2006
262006
Polyadic algebras over nonclassical logics
D Pigozzi, A Salibra
Banach Center Publications 28 (1), 51-66, 1993
261993
The system can't perform the operation now. Try again later.
Articles 1–20