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