Get my own profile

### Co-authors

- Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
- Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
- Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
- Marwan FayedCloudflare Inc., and University of St AndrewsVerified email at st-andrews.ac.uk
- Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
- Roberto André HexselProfessor of Computer Science, Dept of Informatics, Universidade Federal do ParanáVerified email at inf.ufpr.br
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu

Follow

Michael Fourman

School of Informatics, The University of Edinburgh

Verified email at ed.ac.uk - Homepage