Compositional Characterizations of lambda-Terms Using Intersection Types.

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama

Browse the full MFCS paper archive.