Weak Transitivity in Coercive Subtyping

Y. Luo, Z. Luo, S. Soloviev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTypes for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646
Pages220--239
Publication statusPublished - 2003

Cite this