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
Published
| 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