Damien Pous, Jurriaan Rot, Ruben Turkenburg. Corecursion Up-to via Causal Transformations. In Helle Hvid Hansen, Fabio Zanasi, editors, Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. Volume 13225 of Lecture Notes in Computer Science, pages 133-154, Springer, 2022. [doi]
@inproceedings{PousRT22, title = {Corecursion Up-to via Causal Transformations}, author = {Damien Pous and Jurriaan Rot and Ruben Turkenburg}, year = {2022}, doi = {10.1007/978-3-031-10736-8_7}, url = {https://doi.org/10.1007/978-3-031-10736-8_7}, researchr = {https://researchr.org/publication/PousRT22}, cites = {0}, citedby = {0}, pages = {133-154}, booktitle = {Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings}, editor = {Helle Hvid Hansen and Fabio Zanasi}, volume = {13225}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-10736-8}, }