Strong normalization and typability with intersection types (1996)

by S Ghilezan
Venue:Notre Dame J. Formal Logic