Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85032199059&origin=inward&txGid=c7609f90464ba9350de0d635718adaca
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000451889100004