Transitivity in coercive subtyping

Zhaohui Luo, Yong Luo. Transitivity in coercive subtyping. Inf. Comput., 197(1-2):122-144, 2005. [doi]

Abstract

Abstract is missing.