1 paper
Denis Firsov, Richard Blair, Aaron Stump
It is common to model inductive datatypes as least fixed points of functors. We show that within the Cedille type theory we can relax functoriality constraints and generically deri…