Transitivity in coercive subtyping. / Luo, Z.; Luo, Y.

In: Infor. and Computation, Vol. 197, No. 1-2, 2005, p. 122-144.

Research output: Contribution to journalArticlepeer-review

Published

Standard

Transitivity in coercive subtyping. / Luo, Z.; Luo, Y.

In: Infor. and Computation, Vol. 197, No. 1-2, 2005, p. 122-144.

Research output: Contribution to journalArticlepeer-review

Harvard

Luo, Z & Luo, Y 2005, 'Transitivity in coercive subtyping', Infor. and Computation, vol. 197, no. 1-2, pp. 122-144.

APA

Luo, Z., & Luo, Y. (2005). Transitivity in coercive subtyping. Infor. and Computation, 197(1-2), 122-144.

Vancouver

Luo Z, Luo Y. Transitivity in coercive subtyping. Infor. and Computation. 2005;197(1-2):122-144.

Author

Luo, Z. ; Luo, Y. / Transitivity in coercive subtyping. In: Infor. and Computation. 2005 ; Vol. 197, No. 1-2. pp. 122-144.

BibTeX

@article{c9e51354440b48a5bf6491bcbf7b9cc0,
title = "Transitivity in coercive subtyping",
author = "Z. Luo and Y. Luo",
year = "2005",
language = "English",
volume = "197",
pages = "122--144",
journal = "Infor. and Computation",
number = "1-2",

}

RIS

TY - JOUR

T1 - Transitivity in coercive subtyping

AU - Luo, Z.

AU - Luo, Y.

PY - 2005

Y1 - 2005

M3 - Article

VL - 197

SP - 122

EP - 144

JO - Infor. and Computation

JF - Infor. and Computation

IS - 1-2

ER -