Weak Transitivity in Coercive Subtyping (2001)

Cached

Download Links

by Yong Luo , Zhaohui Luo , Sergei Soloviev
Venue:TYPES FOR PROOFS AND PROGRAMS, VOLUME 2646 OF LNCS
Citations:4 - 4 self