Antonino Salibra
Antonino Salibra
Verified email at dsi.unive.it
Title
Cited by
Cited by
Year
A calculus for cryptographic protocols: The spi calculus
M Abadi, AD Gordon
Information and computation 148 (1), 1-70, 1999
20421999
Equational type logic
V Manca, A Salibra, G Scollo
Theoretical Computer Science 77 (1-2), 131-159, 1990
671990
A soft stairway to institutions
A Salibra, G Scollo
Recent Trends in Data Type Specification, 310-329, 1991
591991
On the algebraic models of lambda calculus
A Salibra
Theoretical Computer Science 249 (1), 197-240, 2000
572000
Topological incompleteness and order incompleteness of the lambda calculus
A Salibra
ACM Transactions on Computational Logic (TOCL) 4 (3), 379-401, 2003
552003
The lattice of lambda theories
S Lusin, A Salibra
Journal of Logic and Computation 14 (3), 373-394, 2004
542004
Applying universal algebra to lambda calculus
G Manzonetto, A Salibra
Journal of Logic and computation 20 (4), 877-915, 2010
452010
Lambda abstraction algebras: coordinatizing models of lambda calculus
D Pigozzi, A Salibra
Fundamenta Informaticae 33 (2), 149-200, 1998
401998
Lambda abstraction algebras: representation theorems
D Pigozzi, A Salibra
Theoretical Computer Science 140 (1), 5-52, 1995
391995
Boolean-like algebras
A Salibra, A Ledda, F Paoli, T Kowalski
Algebra Universalis 69 (2), 113-138, 2013
362013
Interpolation and compactness in categories of pre-institutions
A Salibra, G Scollo
Mathematical Structures in Computer Science 6 (3), 261-286, 1996
331996
The abstract variable-binding calculus
D Pigozzi, A Salibra
Studia Logica 55 (1), 129-179, 1995
321995
An introduction to lambda abstraction algebras
D Pigozzi, A Salibra
IX Simposio Latinoamericano de Logica Matematica 38, 93-112, 1993
321993
From λ-Calculus to Universal Algebra and Back
G Manzonetto, A Salibra
International Symposium on Mathematical Foundations of Computer Science, 479-490, 2008
282008
Boolean algebras for lambda calculus
G Manzonetto, A Salibra
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006
282006
A finite equational axiomatization of the functional algebras for the lambda calculus
A Salibra, R Goldblatt
Information and Computation 148 (1), 71-130, 1999
281999
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
A continuum of theories of lambda calculus without semantics
A Salibra
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 334-343, 2001
272001
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