Stefania Lusin

According to our database, Stefania Lusin authored at least 5 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Intersection types and domain operators.

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin

Theor. Comput. Sci., 2004

The Lattice of Lambda Theories.

Stefania Lusin, Antonino Salibra

J. Log. Comput., 2004

2003

A Note on Absolutely Unorderable Combinatory Algebras.

Stefania Lusin, Antonino Salibra

J. Log. Comput., 2003

2002

Simple Easy Terms.

Fabio Alessi, Stefania Lusin

Proceedings of the Intersection Types and Related Systems, 2002

Intersection Types and Lambda Theories

Mariangiola Dezani-Ciancaglini, Stefania Lusin

CoRR, 2002