Lorenzo Martinico, PRPHDINFMT7F, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. Lorenzo Martinico PRPHDINFMT7F School of Informatics The University of Edinburgh Contact details Email: s1443541@sms.ed.ac.uk Web: Personal Website Research Institute Laboratory for Foundations of Computer Science This article was published on 25th Oct 2024 at 12:02