| Original language | English |
|---|---|
| Title of host publication | Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250 |
| Publication status | Published - 2001 |
Coherence and transitivity in coercive subtyping
Y. Luo, Z. Luo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution