Crea il mio profilo
Accesso pubblico
Visualizza tutto10 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail verificata su cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityEmail verificata su bath.edu
- Glynn WinskelUniversity of CambridgeEmail verificata su cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail verificata su cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeEmail verificata su strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail verificata su cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Luca CardelliUniversity of OxfordEmail verificata su cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoEmail verificata su cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtEmail verificata su mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceEmail verificata su cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
- Rob van GlabbeekUNSWEmail verificata su cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsEmail verificata su fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchEmail verificata su lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityEmail verificata su Stanford.edu
- Andrew J. MillarUniversity of EdinburghEmail verificata su ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityEmail verificata su slcu.cam.ac.uk
Segui
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Email verificata su inf.ed.ac.uk