The coherence of languages with intersection types (1991)

by John C Reynolds
Venue:Theoretical Aspects of Computer Software