Paige Randall North, Maximilien Péroux. Coinductive Control of Inductive Data Types. In Paolo Baldan, Valeria de Paiva, editors, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. Volume 270 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{NorthP23,
title = {Coinductive Control of Inductive Data Types},
author = {Paige Randall North and Maximilien Péroux},
year = {2023},
doi = {10.4230/LIPIcs.CALCO.2023.15},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.15},
researchr = {https://researchr.org/publication/NorthP23},
cites = {0},
citedby = {0},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA},
editor = {Paolo Baldan and Valeria de Paiva},
volume = {270},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-287-7},
}