Combining incoherent coercions for Sigma-types. / Luo, Yong; Luo, Zhaohui.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085. 2004.

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'03. LNCS'3085
Publication statusPublished - 2004

ID: 1775487