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]
No references recorded for this publication.
No citations of this publication recorded.