Coherence and Transitivity in Coercive Subtyping.

Yong Luo, Zhaohui Luo

Browse the full LPAR paper archive.