| |
| 2004 | ||
|---|---|---|
| 5 | EE | Stefania Lusin, Antonino Salibra: The Lattice of Lambda Theories. J. Log. Comput. 14(3): 373-394 (2004) |
| 4 | EE | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004) |
| 2003 | ||
| 3 | EE | Stefania Lusin, Antonino Salibra: A Note on Absolutely Unorderable Combinatory Algebras. J. Log. Comput. 13(4): 481-502 (2003) |
| 2002 | ||
| 2 | EE | Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories CoRR cs.LO/0211011: (2002) |
| 1 | EE | Fabio Alessi, Stefania Lusin: Simple Easy Terms. Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 1 | Fabio Alessi | [1] [4] |
| 2 | Mariangiola Dezani-Ciancaglini | [2] [4] |
| 3 | Antonino Salibra | [3] [5] |