Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS