Manifest fields and module mechanisms in intensional type theory

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

Cite this