Coherence and transitivity in coercive subtyping. / Luo, Y.; Luo, Z.

Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250. 2001.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Coherence and transitivity in coercive subtyping. / Luo, Y.; Luo, Z.

Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250. 2001.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Luo, Y & Luo, Z 2001, Coherence and transitivity in coercive subtyping. in Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

APA

Luo, Y., & Luo, Z. (2001). Coherence and transitivity in coercive subtyping. In Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250

Vancouver

Luo Y, Luo Z. Coherence and transitivity in coercive subtyping. In Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250. 2001

Author

Luo, Y. ; Luo, Z. / Coherence and transitivity in coercive subtyping. Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250. 2001.

BibTeX

@inproceedings{1575014e8e8a4ba79a827a84fe4b9c4d,
title = "Coherence and transitivity in coercive subtyping",
author = "Y. Luo and Z. Luo",
year = "2001",
language = "English",
booktitle = "Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250",

}

RIS

TY - GEN

T1 - Coherence and transitivity in coercive subtyping

AU - Luo, Y.

AU - Luo, Z.

PY - 2001

Y1 - 2001

M3 - Conference contribution

BT - Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250

ER -