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
Standard
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
Harvard
Luo, Y, Luo, Z & Soloviev, S 2003, Weak Transitivity in Coercive Subtyping. in Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. pp. 220--239.
APA
Luo, Y., Luo, Z., & Soloviev, S. (2003). Weak Transitivity in Coercive Subtyping. In Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646 (pp. 220--239)
Vancouver
Luo Y, Luo Z, Soloviev S. Weak Transitivity in Coercive Subtyping. In Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. 2003. p. 220--239
Author
BibTeX
@inproceedings{d8ffeb82f46e4640b4a457bf0823369f,
title = "Weak Transitivity in Coercive Subtyping",
author = "Y. Luo and Z. Luo and S. Soloviev",
year = "2003",
language = "English",
pages = "220----239",
booktitle = "Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646",
}
RIS
TY - GEN
T1 - Weak Transitivity in Coercive Subtyping
AU - Luo, Y.
AU - Luo, Z.
AU - Soloviev, S.
PY - 2003
Y1 - 2003
M3 - Conference contribution
SP - 220
EP - 239
BT - Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646
ER -