A Coalgebraic Semantics of Subtyping

Erik Poll. A Coalgebraic Semantics of Subtyping. ITA, 35(1):61-81, 2001. [doi]

No reviews for this publication, yet.