Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 31062 | 4912 |
indeks h | 67 | 36 |
indeks i10 | 145 | 71 |
Javni dostop
Prikaži vse10 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzPreverjeni e-poštni naslov na cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityPreverjeni e-poštni naslov na bath.edu
- Glynn WinskelUniversity of CambridgePreverjeni e-poštni naslov na cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityPreverjeni e-poštni naslov na cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydePreverjeni e-poštni naslov na strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer SciencePreverjeni e-poštni naslov na cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityPreverjeni e-poštni naslov na cs.au.dk
- Luca CardelliUniversity of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityPreverjeni e-poštni naslov na andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoPreverjeni e-poštni naslov na cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtPreverjeni e-poštni naslov na mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer SciencePreverjeni e-poštni naslov na cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgePreverjeni e-poštni naslov na dpmms.cam.ac.uk
- Rob van GlabbeekUNSWPreverjeni e-poštni naslov na cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsPreverjeni e-poštni naslov na fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchPreverjeni e-poštni naslov na lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityPreverjeni e-poštni naslov na Stanford.edu
- Andrew J. MillarUniversity of EdinburghPreverjeni e-poštni naslov na ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityPreverjeni e-poštni naslov na slcu.cam.ac.uk
Spremljaj
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Preverjeni e-poštni naslov na inf.ed.ac.uk