Ross Grassie, Senior Researcher, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. Mr Ross Grassie Senior Researcher School of Informatics The University of Edinburgh Contact details Email: rgrassie@exseed.ed.ac.uk Research Institute Laboratory for Foundations of Computer Science This article was published on 25th Oct 2024 at 12:02