Get my own profile

Public access

View all2 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
- Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
- Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
- Nick BentonEngineering Manager, FacebookVerified email at fb.com
- Gavin BiermanOracleVerified email at oracle.com
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Nicola GambinoDepartment of Mathematics, University of ManchesterVerified email at manchester.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Universitą degli Studi di GenovaVerified email at unige.it
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonVerified email at qmul.ac.uk
- Andrea SchalkSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
- Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk
- Christian UrbanKing's College LondonVerified email at kcl.ac.uk
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it