Inductive Families Need Not Store Their Indices

Edwin Brady, Conor McBride, James McKinna

Research output: Contribution to conference › Paper

Original languageEnglish
Pages115-129
Publication statusPublished - 2003

Cite this