创建我的个人资料
开放获取的出版物数量
查看全部8 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UK在 hw.ac.uk 的电子邮件经过验证
- Ian OrtonUniversity of Cambridge在 cam.ac.uk 的电子邮件经过验证
- Gavin BiermanOracle在 oracle.com 的电子邮件经过验证
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
- Bas SpittersAssociate Professor, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的电子邮件经过验证
- Christian UrbanKing's College London在 kcl.ac.uk 的电子邮件经过验证
- Marcelo FioreProfessor in Mathematical Foundations of Computer Science在 cl.cam.ac.uk 的电子邮件经过验证
- S. C. SteenkampPhD student, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Dan LicataWesleyan University在 wesleyan.edu 的电子邮件经过验证
- Ranald CloustonLecturer, Australian National University在 anu.edu.au 的电子邮件经过验证
- Rasmus MøgelbergIT University of Copenhagen在 itu.dk 的电子邮件经过验证
- Bassel MannaaPostdoc, IT University of Copenhagen在 itu.dk 的电子邮件经过验证
- Roy CroleAssociate Professor, University of Leicester在 le.ac.uk 的电子邮件经过验证
- Matthew LakinUniversity of New Mexico在 cs.unm.edu 的电子邮件经过验证
- Matthew J. ParkinsonMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Steffen LöschPhD Candidate, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
- Peter DybjerProfessor of Computer Science, Chalmers University在 chalmers.se 的电子邮件经过验证
- Michael FourmanSchool of Informatics, The University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
关注
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证 - 首页