Paul Blain Levy, Sergey Goncharov 0001. Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. In Markus Roggenbach, Ana Sokolova, editors, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. Volume 139 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
@inproceedings{Levy019,
title = {Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot},
author = {Paul Blain Levy and Sergey Goncharov 0001},
year = {2019},
doi = {10.4230/LIPIcs.CALCO.2019.13},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.13},
researchr = {https://researchr.org/publication/Levy019},
cites = {0},
citedby = {0},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom},
editor = {Markus Roggenbach and Ana Sokolova},
volume = {139},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-120-7},
}