Weak Transitivity in Coercive Subtyping. / Luo, Y.; Luo, Z.; Soloviev, S.

Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. 2003. p. 220--239.

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

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

ID: 1774012