Adriana B. Compagnoni Healfdene Goguen Anti-symmetry of higher-order subtyping and equality by subtyping. 41-65 2006 16 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129505005086 db/journals/mscs/mscs16.html#CompagnoniG06