Unguarded Recursion on Coinductive Resumptions (bibtex)

by Sergey Goncharov, Lutz Schröder, Christoph Rauch and Julian Jakob

Reference:

Sergey Goncharov, Lutz Schröder, Christoph Rauch and Julian Jakob: Unguarded Recursion on Coinductive Resumptions, In Log. Methods Comput. Sci., 14(3), 2018.

Bibtex Entry:

@article{GoncharovEA18,
  author    = {Sergey Goncharov and
               Lutz Schr{\"{o}}der and
               Christoph Rauch and
               Julian Jakob},
  title     = {Unguarded Recursion on Coinductive Resumptions},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {14},
  number    = {3},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(3:10)2018},
  doi       = {10.23638/LMCS-14(3:10)2018},
}