Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
Ian OrtonUniversity of CambridgeVerified email at cam.ac.uk
Gavin BiermanOracleVerified email at oracle.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
S. C. SteenkampPhD student, University of CambridgeVerified email at cl.cam.ac.uk
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
Rasmus MøgelbergIT University of CopenhagenVerified email at itu.dk
Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
Matthew LakinUniversity of New MexicoVerified email at cs.unm.edu
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Steffen LöschPhD Candidate, University of CambridgeVerified email at cl.cam.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk
Follow![Andrew M Pitts](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=J1wRn3oAAAAJ&citpid=7)
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage