Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (bibtex)
by Paul Blain Levy and Sergey Goncharov
Reference:
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}
}
Powered by bibtexbrowser