Pierre-Evariste Dagand, Conor McBride. Elaborating Inductive Definitions. 2012.
@misc{dagand2012elaborating,
title = {Elaborating Inductive Definitions},
author = {Pierre-Evariste Dagand and Conor McBride},
year = {2012},
researchr = {https://researchr.org/publication/dagand2012elaborating},
cites = {0},
citedby = {0},
}