Coercion completion and conservativity in coercive subtyping. / Soloviev, S.; Luo, Z.

In: Annals of Pure and Applied Logic, Vol. 113, No. 1-3, 2002, p. 297-322.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)297-322
Number of pages26
JournalAnnals of Pure and Applied Logic
Issue number1-3
Publication statusPublished - 2002

ID: 1298717