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
- Roberto André HexselProfessor of Computer Science, Dept of Informatics, Universidade Federal do ParanáVerified email at inf.ufpr.br
- Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
- Marwan FayedUniversity of St Andrews, School of Computer ScienceVerified email at st-andrews.ac.uk
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu

Michael Fourman

School of Informatics, The University of Edinburgh

Verified email at ed.ac.uk - Homepage