by Paul Blain Levy and
Sergey GoncharovReference:
Paul Blain Levy and Sergey Goncharov: Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot, In Markus Roggenbach, Ana Sokolova, eds.: Proc. 8rd international conference on Algebra and coalgebra in computer science (CALCO 2019), LIPIcs, vol. 139, pp. 13:1–13:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
Bibtex Entry:
@string{lipics="LIPIcs"}
@InProceedings{ LevyGoncharov19,
author = {Paul Blain Levy and Sergey Goncharov},
title = {Coinductive Resumption Monads: Guarded Iterative and
Guarded Elgot},
booktitle = {Proc.~8rd international conference on Algebra and
coalgebra in computer science (CALCO 2019)},
year = {2019},
pages = {13:1--13:17},
series = {LIPIcs},
volume = {139},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
editor = {Markus Roggenbach and Ana Sokolova},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11441},
doi = {10.4230/LIPIcs.CALCO.2019.13},
address = {Dagstuhl, Germany}
}