@article{lmcs:4773, title = {Unguarded Recursion on Coinductive Resumptions}, author = {Sergey Goncharov and Lutz Schröder and Christoph Rauch and Julian Jakob}, url = {https://lmcs.episciences.org/4773}, doi = {10.23638/LMCS-14(3:10)2018}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 14, Issue 3}, eid = 10, year = {2018}, month = {Aug}, keywords = {Computer Science - Logic in Computer Science, F.3.2, F.3.3, D.3.3}, }