Weak Transitivity in Coercive Subtyping. / Luo, Y.; Luo, Z.; Soloviev, S.
Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. 2003. p. 220--239.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646 |
Pages | 220--239 |
Publication status | Published - 2003 |
ID: 1774012