Transitivity in coercive subtyping

Z. Luo, Y. Luo

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)122-144
Number of pages23
JournalInfor. and Computation
Volume197
Issue number1-2
Publication statusPublished - 2005

Cite this