Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 31037 | 4890 |
Índice h | 67 | 36 |
Índice i10 | 145 | 69 |
Acceso público
Ver todo10 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzDirección de correo verificada de cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityDirección de correo verificada de bath.edu
- Glynn WinskelUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityDirección de correo verificada de cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeDirección de correo verificada de strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceDirección de correo verificada de cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoDirección de correo verificada de cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtDirección de correo verificada de mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
- Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsDirección de correo verificada de fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchDirección de correo verificada de lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
- Andrew J. MillarUniversity of EdinburghDirección de correo verificada de ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityDirección de correo verificada de slcu.cam.ac.uk
Seguir
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Dirección de correo verificada de inf.ed.ac.uk