1,308 followers
RT @dregntael: "Inductive Families Need Not Store Their Indices" by Edwin Brady, Conor McBride, and James McKinna at TYPES 2003: https:…
RT @dregntael: "Inductive Families Need Not Store Their Indices" by Edwin Brady, Conor McBride, and James McKinna at TYPES 2003: https:…
RT @dregntael: "Inductive Families Need Not Store Their Indices" by Edwin Brady, Conor McBride, and James McKinna at TYPES 2003: https:…