Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 31036 | 4889 |
h-indeks | 67 | 36 |
i10-indeks | 145 | 69 |
Dostęp publiczny
Wyświetl wszystko10 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzZweryfikowany adres z cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityZweryfikowany adres z bath.edu
- Glynn WinskelUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityZweryfikowany adres z cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeZweryfikowany adres z strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceZweryfikowany adres z cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Luca CardelliUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoZweryfikowany adres z cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtZweryfikowany adres z mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceZweryfikowany adres z cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeZweryfikowany adres z dpmms.cam.ac.uk
- Rob van GlabbeekUNSWZweryfikowany adres z cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsZweryfikowany adres z fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchZweryfikowany adres z lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityZweryfikowany adres z Stanford.edu
- Andrew J. MillarUniversity of EdinburghZweryfikowany adres z ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityZweryfikowany adres z slcu.cam.ac.uk
Obserwuj
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Zweryfikowany adres z inf.ed.ac.uk