| Equational type logic V Manca, A Salibra, G Scollo Theoretical Computer Science 77 (1-2), 131-159, 1990 | 69 | 1990 |
| On the algebraic models of lambda calculus A Salibra Theoretical Computer Science 249 (1), 197-240, 2000 | 63 | 2000 |
| A soft stairway to institutions A Salibra, G Scollo Workshop on the Specification of Abstract Data Types, 310-329, 1991 | 61 | 1991 |
| The lattice of lambda theories S Lusin, A Salibra Journal of Logic and Computation 14 (3), 373-394, 2004 | 58 | 2004 |
| Topological incompleteness and order incompleteness of the lambda calculus A Salibra ACM Transactions on Computational Logic (TOCL) 4 (3), 379-401, 2003 | 54 | 2003 |
| Applying universal algebra to lambda calculus G Manzonetto, A Salibra Journal of Logic and computation 20 (4), 877-915, 2010 | 52 | 2010 |
| Boolean-like algebras A Salibra, A Ledda, F Paoli, T Kowalski Algebra Universalis 69, 113-138, 2013 | 43 | 2013 |
| Lambda abstraction algebras: representation theorems D Pigozzi, A Salibra Theoretical Computer Science 140 (1), 5-52, 1995 | 43 | 1995 |
| Lambda abstraction algebras: coordinatizing models of lambda calculus D Pigozzi, A Salibra Fundamenta Informaticae 33 (2), 149-200, 1998 | 39 | 1998 |
| The abstract variable-binding calculus D Pigozzi, A Salibra Studia Logica 55 (1), 129-179, 1995 | 37 | 1995 |
| From λ-Calculus to Universal Algebra and Back G Manzonetto, A Salibra Mathematical Foundations of Computer Science 2008: 33rd International …, 2008 | 34 | 2008 |
| Interpolation and compactness in categories of pre-institutions A Salibra, G Scollo Mathematical Structures in Computer Science 6 (3), 261-286, 1996 | 33 | 1996 |
| Exponentials with infinite multiplicities A Carraro, T Ehrhard, A Salibra Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 32 | 2010 |
| Boolean algebras for lambda calculus G Manzonetto, A Salibra 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 317-326, 2006 | 32 | 2006 |
| A finite equational axiomatization of the functional algebras for the lambda calculus A Salibra, R Goldblatt Information and Computation 148 (1), 71-130, 1999 | 31 | 1999 |
| A continuum of theories of lambda calculus without semantics A Salibra Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 334-343, 2001 | 30 | 2001 |
| An introduction to lambda abstraction algebras D Pigozzi, A Salibra IX Simposio Latinoamericano de Logica Matematica 38, 93-112, 1993 | 29 | 1993 |
| Graph lambda theories A Bucciarelli, A Salibra Mathematical Structures in Computer Science 18 (5), 975-1004, 2008 | 27 | 2008 |
| The sensible graph theories of lambda calculus A Bucciarelli, A Salibra Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 27 | 2004 |
| Easiness in graph models C Berline, A Salibra Theoretical Computer Science 354, 4-23, 2006 | 26 | 2006 |
