Anti-symmetry of higher-order subtyping (1999)

by Compagnoni, Goguen
Venue:In CSL: 13th Workshop on Computer Science Logic. LNCS