Inductive Families Need Not Store Their Indices
Edwin Brady, Conor McBride, James Mckinna
Research output: Chapter in Book/Report/Conference proceeding › Chapter
62
Link opens in a new tab
Citations
(Scopus)