Combining incoherent coercions for Sigma-types

Yong Luo, Zhaohui Luo

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

Cite this