Anti-Symmetry of Higher-Order Subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Browse the full CSL paper archive.