A Coalgebraic Semantics of Subtyping

Erik Poll. A Coalgebraic Semantics of Subtyping. Electronic Notes in Theoretical Computer Science, 33:276-293, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: