SALIBRA, Antonino
SALIBRA, Antonino
Dipartimento di Scienze Ambientali, Informatica e Statistica
A continuum of theories of lambda calculus without semantics
2001-01-01 Salibra, Antonino
A finite equational axiomatization of the functional algebras for the lambda calculus
1999-01-01 Salibra, Antonino; R., Goldblatt
A general theory of algebras with quantifiers
1991-01-01 Salibra, Antonino
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
A note on absolutely unorderable combinatory algebras
2003-01-01 Lusin, S; Salibra, Antonino
A reduction scema by pre-institution transformations
1993-01-01 Salibra, Antonino; G., Scollo
A representation theorem for lambda abstraction algebras
1993-01-01 D., Pigozzi; Salibra, Antonino
A soft stairway to institutions
1993-01-01 Salibra, Antonino; G., Scollo
Algebra universale e logica in computer science
1982-01-01 V., Manca; Salibra, Antonino
Applying Universal Algebra to Lambda Calculus
2010-01-01 Manzonetto, G; Salibra, Antonino
Boolean algebras for lambda calculus
2006-01-01 Manzonetto, G; Salibra, Antonino
Boolean like algebras
2013-01-01 A., Ledda; T., Kowalski; F., Paoli; Salibra, Antonino
Boolean product representations of algebras via binary polynomials
2018-01-01 Salibra, Antonino; Ledda, A.; Paoli, F.
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION
2018-01-01 Salibra, A.; Ledda, A.; Paoli, F.
Boolean-like-algebras
2013-01-01 Salibra, Antonino; A., Ledda; F., Paoli; T., Kowalski
Compactness and Lowenheim-Skolem properties in pre-institution categories
1993-01-01 Salibra, Antonino; G., Scollo
DELTA: a deduction system integrating equational logic and type assignment
1989-01-01 V., Manca; Salibra, Antonino; G., Scollo
Dimension-complemented lambda abstraction algebras
1994-01-01 D., Pigozzi; Salibra, Antonino
Easiness in graph models
2006-01-01 Berline, C; Salibra, Antonino
Easy lambda-terms are not always simple
2012-01-01 Carraro, Alberto; Salibra, Antonino