Anti-Symmetry of Higher-Order Subtyping (1999)

Cached

Download Links

by Adriana Compagnoni , Healfdene Goguen
Venue:In Proceedings of the 8th Annual Conference on Computer Science Logic (CSL’99), J. Flum and M. RodríguezArtalejo, Eds. Springer-Verlag LNCS 1683
Citations:4 - 1 self