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
Original languageEnglish
Pages (from-to)122-144
Number of pages23
JournalInfor. and Computation
Volume197
Issue number1-2
Publication statusPublished - 2005

ID: 1298806