A Coalgebraic Semantics of Subtyping Erik Poll RAIRO-Theor. Inf. Appl., 35 1 (2001) 61-81 Published online: 15 April 2002 DOI: 10.1051/ita:2001109