David Chemouil. Isomorphisms of simple inductive types through extensional rewriting. Mathematical Structures in Computer Science, 15(5):875-915, 2005. [doi]
@article{Chemouil05, title = {Isomorphisms of simple inductive types through extensional rewriting}, author = {David Chemouil}, year = {2005}, doi = {10.1017/S0960129505004950}, url = {http://dx.doi.org/10.1017/S0960129505004950}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Chemouil05}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {15}, number = {5}, pages = {875-915}, }