Get my own profile
Co-authors
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Ravi SethiProfessor, Computer Science, The University of ArizonaVerified email at email.arizona.edu
Andrew J. MillarUniversity of EdinburghVerified email at ed.ac.uk
Argyris ZardilisSainsbury Laboratory Cambridge UniversityVerified email at slcu.cam.ac.uk

Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Verified email at inf.ed.ac.uk