Coherence and Transitivity in Coercive Subtyping. - Yong Luo 001; Zhaohui Luo (LPAR, 2001)

Weak Transitivity in Coercive Subtyping. - Yong Luo 001; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 2002)

Combining Incoherent Coercions for Sigma-Types. - Yong Luo 001; Zhaohui Luo (TYPES, 2003)

Coherence and transitivity in coercive subtyping. - Yong Luo 001 (2004)

Transitivity in coercive subtyping. - Zhaohui Luo; Yong Luo 001 (Inf. Comput., 2005)