Coercive subtyping. / Luo, Z.

In: Journal of Logic and Computation, Vol. 9, No. 1, 1999, p. 105-130.

Research output: Contribution to journalArticlepeer-review

Published
Original languageEnglish
Pages (from-to)105-130
Number of pages26
JournalJournal of Logic and Computation
Volume9
Issue number1
DOIs
Publication statusPublished - 1999
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 1298463