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

Luo, Y. ; Luo, Z. ; Soloviev, S. / Weak Transitivity in Coercive Subtyping. Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. 2003. pp. 220--239

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 -