Document Versions

Coercive subtyping –Zhaohui Luo — 1998
Coercive subtyping –Zhaohui Luo — 1999 — Journal of Logic and Computation
Coercive Subtyping –Zhaohui Luo — 1995 — Journal of Logic and Computation