Sfoglia per Autore
The abstract variable-binding calculus
1995-01-01 D., Pigozzi; Salibra, Antonino
Lambda Abstraction algebras: representation theorems
1995-01-01 D., Pigozzi; Salibra, Antonino
Interpolation and compacteness in categories of preinstitutions
1996-01-01 Salibra, Antonino; Scollo, G.
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n
1998-01-01 Salibra, Antonino
On categorical frames, universal algebra and Boolean algebras with operators in a category
1998-01-01 Salibra, Antonino
Lambda abstraction algebras: coordinatizing models of lambda calculus
1998-01-01 D., Pigozzi; Salibra, Antonino
A finite equational axiomatization of the functional algebras for the lambda calculus
1999-01-01 Salibra, Antonino; R., Goldblatt
On the algebraic models of lambda calculus
2000-01-01 Salibra, Antonino
Una nota sui gruppoidi topologici
2001-01-01 Jabara, Enrico; Salibra, Antonino
Towards lambda calculus order-incompleteness
2001-01-01 Salibra, Antonino
A continuum of theories of lambda calculus without semantics
2001-01-01 Salibra, Antonino
Nonmodularity results for lambda calculus
2001-01-01 Salibra, Antonino
Lambda calculus: models and theories
2003-01-01 Salibra, Antonino
The minimal graph model of lambda calculus
2003-01-01 Bucciarelli, A; Salibra, Antonino
A note on absolutely unorderable combinatory algebras
2003-01-01 Lusin, S; Salibra, Antonino
Topological incompleteness and order incompleteness of the lambda calculus
2003-01-01 Salibra, Antonino
The sensible graph theories of lambda calculus
2004-01-01 Bucciarelli, A.; Salibra, Antonino
The lattice of lambda theories
2004-01-01 Lusin, S.; Salibra, Antonino
Easiness in graph models
2006-01-01 Berline, C; Salibra, Antonino
Boolean algebras for lambda calculus
2006-01-01 Manzonetto, G; Salibra, Antonino
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile