创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的电子邮件经过验证
- John PowerHonorary Professor in Computing, Macquarie University在 bath.edu 的电子邮件经过验证
- Glynn WinskelUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Prakash PanangadenProfessor of Computer Science, McGill University在 cs.mcgill.ca 的电子邮件经过验证
- Radu MardareProfessor, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
- Marcelo FioreProfessor in Mathematical Foundations of Computer Science在 cl.cam.ac.uk 的电子邮件经过验证
- Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Luca CardelliUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
- David MacQueenProfessor Emeritus of Computer Science, University of Chicago在 cs.uchicago.edu 的电子邮件经过验证
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt在 mathematik.tu-darmstadt.de 的电子邮件经过验证
- matthew hennessyProfessor of Computer Science在 cs.tcd.ie 的电子邮件经过验证
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的电子邮件经过验证
- Rob van GlabbeekUNSW在 cs.stanford.edu 的电子邮件经过验证
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physics在 fmf.uni-lj.si 的电子邮件经过验证
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
- Butler LampsonTechnical Fellow, Microsoft Research在 lampsons.us 的电子邮件经过验证
- John C MitchellProfessor of Computer Science, Stanford University在 Stanford.edu 的电子邮件经过验证
- Andrew J. MillarUniversity of Edinburgh在 ed.ac.uk 的电子邮件经过验证
- Argyris ZardilisSainsbury Laboratory, Cambridge University在 slcu.cam.ac.uk 的电子邮件经过验证
关注
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
在 inf.ed.ac.uk 的电子邮件经过验证