Decidability of higher-order subtyping with intersection types (1995)

by A B Compagnoni
Venue:Computer Science Logic, 8th Int. Wksh., CSL ’94 , vol. 933 of Lect. Notes in Comput. Sci