A Complete Characterization of Complete Intersection-Type Theories

M. Dezani-Ciancaglini, F. Honsell, F. Alessi

We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical s…