Inductive Families Need Not Store Their Indices

Edwin Brady, Conor McBride, James Mckinna

Research output: Chapter in Book/Report/Conference proceedingChapter

55 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Inductive Families Need Not Store Their Indices'. Together they form a unique fingerprint.