Strong normalization and typability with intersection types (1996)

by S Ghilezan
Venue:Notre Dame Journal of Formal Logic