Crea el meu perfil
Accés públic
Mostra-ho tot10 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzCorreu electrònic verificat a cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityCorreu electrònic verificat a bath.edu
- Glynn WinskelUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityCorreu electrònic verificat a cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeCorreu electrònic verificat a strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceCorreu electrònic verificat a cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Luca CardelliUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoCorreu electrònic verificat a cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtCorreu electrònic verificat a mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceCorreu electrònic verificat a cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeCorreu electrònic verificat a dpmms.cam.ac.uk
- Rob van GlabbeekUNSWCorreu electrònic verificat a cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsCorreu electrònic verificat a fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchCorreu electrònic verificat a lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityCorreu electrònic verificat a Stanford.edu
- Andrew J. MillarUniversity of EdinburghCorreu electrònic verificat a ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityCorreu electrònic verificat a slcu.cam.ac.uk
Segueix
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Correu electrònic verificat a inf.ed.ac.uk