• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182526347&origin=inward&txGid=905daf15c25fe7cf8001fda9410b2315 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900014
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84952056543&origin=inward&txGid=396398c4a9eb182723510e6786a54824 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000366212700008