| 2008 |
|---|
| 29 | EE | Giulio Manzonetto,
Antonino Salibra:
From lambda-Calculus to Universal Algebra and Back.
MFCS 2008: 479-490 |
| 28 | EE | Chantal Berline,
Giulio Manzonetto,
Antonino Salibra:
Effective lambda-models vs recursively enumerable lambda-theories
CoRR abs/0806.2264: (2008) |
| 27 | EE | Antonio Bucciarelli,
Antonino Salibra:
Graph lambda theories.
Mathematical Structures in Computer Science 18(5): 975-1004 (2008) |
| 2007 |
|---|
| 26 | EE | Chantal Berline,
Giulio Manzonetto,
Antonino Salibra:
Lambda Theories of Effective Lambda Models.
CSL 2007: 268-282 |
| 2006 |
|---|
| 25 | EE | Giulio Manzonetto,
Antonino Salibra:
Boolean Algebras for Lambda Calculus.
LICS 2006: 317-326 |
| 24 | EE | Chantal Berline,
Antonino Salibra:
Easiness in graph models.
Theor. Comput. Sci. 354(1): 4-23 (2006) |
| 2004 |
|---|
| 23 | EE | Antonio Bucciarelli,
Antonino Salibra:
The Sensible Graph Theories of Lambda Calculus.
LICS 2004: 276-285 |
| 22 | EE | Stefania Lusin,
Antonino Salibra:
The Lattice of Lambda Theories.
J. Log. Comput. 14(3): 373-394 (2004) |
| 2003 |
|---|
| 21 | EE | Antonio Bucciarelli,
Antonino Salibra:
The Minimal Graph Model of Lambda Calculus.
MFCS 2003: 300-307 |
| 20 | EE | Antonino Salibra:
Topological incompleteness and order incompleteness of the lambda calculu.
ACM Trans. Comput. Log. 4(3): 379-401 (2003) |
| 19 | EE | Stefania Lusin,
Antonino Salibra:
A Note on Absolutely Unorderable Combinatory Algebras.
J. Log. Comput. 13(4): 481-502 (2003) |
| 2001 |
|---|
| 18 | | Antonino Salibra:
A Continuum of Theories of Lambda Calculus without Semantics.
LICS 2001: 334-346 |
| 17 | EE | Antonino Salibra:
Towards Lambda Calculus Order-Incompleteness.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 16 | | Antonino Salibra:
Nonmodularity Results for Lambda Calculus.
Fundam. Inform. 45(4): 379-392 (2001) |
| 2000 |
|---|
| 15 | EE | Antonino Salibra:
On the algebraic models of lambda calculus.
Theor. Comput. Sci. 249(1): 197-240 (2000) |
| 1999 |
|---|
| 14 | | Antonino Salibra,
Robert Goldblatt:
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.
Inf. Comput. 148(1): 71-130 (1999) |
| 1998 |
|---|
| 13 | | Antonino Salibra:
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n.
RelMiCS 1998: 182-187 |
| 12 | | Don Pigozzi,
Antonino Salibra:
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.
Fundam. Inform. 33(2): 149-200 (1998) |
| 1997 |
|---|
| 11 | | Don Pigozzi,
Antonino Salibra:
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.
Fundam. Inform. 32(1): 47-90 (1997) |
| 1996 |
|---|
| 10 | | Antonino Salibra,
Giuseppe Scollo:
Interpolation and Compactness in Categories of Pre-Institutions.
Mathematical Structures in Computer Science 6(3): 261-286 (1996) |
| 1995 |
|---|
| 9 | | Don Pigozzi,
Antonino Salibra:
The abstract variable-binding calculus.
Studia Logica 55(1): 129-179 (1995) |
| 8 | EE | Don Pigozzi,
Antonino Salibra:
Lambda Abstraction Algebras: Representation Theorems.
Theor. Comput. Sci. 140(1): 5-52 (1995) |
| 1993 |
|---|
| 7 | | Don Pigozzi,
Antonino Salibra:
Dimension-Complemented Lambda Abstraction Algebras.
AMAST 1993: 129-136 |
| 6 | | Don Pigozzi,
Antonino Salibra:
A Representation Theorem for Lambda Abstraction Algebras.
MFCS 1993: 629-639 |
| 1992 |
|---|
| 5 | | Vincenzo Manca,
Antonino Salibra:
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.
Theor. Comput. Sci. 94(1): 101-124 (1992) |
| 1991 |
|---|
| 4 | | Antonino Salibra,
Giuseppe Scollo:
A Soft Stairway to Institutions.
COMPASS/ADT 1991: 310-329 |
| 1990 |
|---|
| 3 | | Vincenzo Manca,
Antonino Salibra:
Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.
MFCS 1990: 423-429 |
| 2 | | Vincenzo Manca,
Antonino Salibra,
Giuseppe Scollo:
Equational Type Logic.
Theor. Comput. Sci. 77(1&2): 131-159 (1990) |
| 1989 |
|---|
| 1 | | Vincenzo Manca,
Antonino Salibra,
Giuseppe Scollo:
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).
MFCS 1989: 338-349 |
