SALIBRA, Antonino

SALIBRA, Antonino  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A continuum of theories of lambda calculus without semantics 1-gen-2001 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
A finite equational axiomatization of the functional algebras for the lambda calculus 1-gen-1999 SALIBRA, Antonino + 2.1 Articolo su rivista -
A general theory of algebras with quantifiers 1-gen-1991 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
A graph easy set of mute lambda terms 1-gen-2014 CARRARO, ALBERTOFAVRO, GIORDANOSALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
A note on absolutely unorderable combinatory algebras 1-gen-2003 SALIBRA, Antonino + 2.1 Articolo su rivista -
A reduction scema by pre-institution transformations 1-gen-1993 SALIBRA, Antonino + 2.5 Abstract in Rivista -
A representation theorem for lambda abstraction algebras 1-gen-1993 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
A soft stairway to institutions 1-gen-1993 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Algebra universale e logica in computer science 1-gen-1982 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Applying Universal Algebra to Lambda Calculus 1-gen-2010 SALIBRA, Antonino + 2.1 Articolo su rivista -
Boolean algebras for lambda calculus 1-gen-2006 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Boolean like algebras 1-gen-2013 SALIBRA, Antonino + 4.2 Abstract in Atti di convegno -
Boolean product representations of algebras via binary polynomials 1-gen-2018 SALIBRA, Antonino + 3.1 Articolo su libro -
BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION 1-gen-2018 Salibra A. + 7.02 Rapporto di ricerca -
Boolean-like-algebras 1-gen-2013 SALIBRA, Antonino + 2.1 Articolo su rivista -
Compactness and Lowenheim-Skolem properties in pre-institution categories 1-gen-1993 SALIBRA, Antonino + 3.1 Articolo su libro -
DELTA: a deduction system integrating equational logic and type assignment 1-gen-1989 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Dimension-complemented lambda abstraction algebras 1-gen-1994 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Easiness in graph models 1-gen-2006 SALIBRA, Antonino + 2.1 Articolo su rivista -
Easy lambda-terms are not always simple 1-gen-2012 CARRARO, ALBERTOSALIBRA, Antonino 2.1 Articolo su rivista -