Intersection Types and Lambda Theories - Mariangiola Dezani-Ciancaglini; Stefania Lusin (CoRR, 2002)

Simple Easy Terms. - Fabio Alessi; Stefania Lusin (ITRS, 2002)

A Note on Absolutely Unorderable Combinatory Algebras. - Stefania Lusin; Antonino Salibra (J. Log. Comput., 2003)

The Lattice of Lambda Theories. - Stefania Lusin; Antonino Salibra (J. Log. Comput., 2004)

Intersection types and domain operators. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Stefania Lusin (Theor. Comput. Sci., 2004)