Compositional characterization of λ-terms using intersection types (2000)

by M Dezani-Ciancaglini, F Honsell, Y Motohama
Venue:In 25th International Symposium on Mathematical Foundations of Computer Science, MFCS ’00, volume 1893 of LNCS