Weak transitivity in coercive subtyping (0)

by Y Luo, Z Luo, S Soloviev
Venue:Types for Proofs and Programs, volume 2646 of LNCS