James Chapman, Tarmo Uustalu, Niccolò Veltri. Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29(1):67-92, 2019. [doi]
@article{ChapmanUV19,
title = {Quotienting the delay monad by weak bisimilarity},
author = {James Chapman and Tarmo Uustalu and Niccolò Veltri},
year = {2019},
doi = {10.1017/S0960129517000184},
url = {https://doi.org/10.1017/S0960129517000184},
researchr = {https://researchr.org/publication/ChapmanUV19},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {29},
number = {1},
pages = {67-92},
}