Higher-order subtyping and its decidability (0)

by A B Compagnoni
Venue:Information and Computation