Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 31095 | 4944 |
h-index | 67 | 36 |
i10-index | 145 | 72 |
Acces public
Afișați-le pe toate10 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresă de e-mail confirmată pe cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityAdresă de e-mail confirmată pe bath.edu
- Glynn WinskelUniversity of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityAdresă de e-mail confirmată pe cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeAdresă de e-mail confirmată pe strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceAdresă de e-mail confirmată pe cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Luca CardelliUniversity of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoAdresă de e-mail confirmată pe cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtAdresă de e-mail confirmată pe mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceAdresă de e-mail confirmată pe cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeAdresă de e-mail confirmată pe dpmms.cam.ac.uk
- Rob van GlabbeekUNSWAdresă de e-mail confirmată pe cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsAdresă de e-mail confirmată pe fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresă de e-mail confirmată pe cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchAdresă de e-mail confirmată pe lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityAdresă de e-mail confirmată pe Stanford.edu
- Andrew J. MillarUniversity of EdinburghAdresă de e-mail confirmată pe ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityAdresă de e-mail confirmată pe slcu.cam.ac.uk
Urmăriți
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Adresă de e-mail confirmată pe inf.ed.ac.uk