Manifest fields and module mechanisms in intensional type theory. / Luo, Z.

Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. 2009. p. 237-255.

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'08. LNCS 5497
Pages237-255
Number of pages18
Publication statusPublished - 2009

ID: 1773903