Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
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
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Andrew J. MillarUniversity of EdinburghVerified email at ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityVerified email at slcu.cam.ac.uk
Follow

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