내 프로필 만들기
공개 액세스
모두 보기자료 8개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKhw.ac.uk의 이메일 확인됨
- Ian OrtonUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- Gavin BiermanOracleoracle.com의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- Bas SpittersAssociate Professor, Aarhus Universitycs.au.dk의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Christian UrbanKing's College Londonkcl.ac.uk의 이메일 확인됨
- Marcelo FioreProfessor in Mathematical Foundations of Computer Sciencecl.cam.ac.uk의 이메일 확인됨
- S. C. SteenkampPhD student, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Dan LicataWesleyan Universitywesleyan.edu의 이메일 확인됨
- Ranald CloustonLecturer, Australian National Universityanu.edu.au의 이메일 확인됨
- Rasmus MøgelbergIT University of Copenhagenitu.dk의 이메일 확인됨
- Bassel MannaaPostdoc, IT University of Copenhagenitu.dk의 이메일 확인됨
- Roy CroleAssociate Professor, University of Leicesterle.ac.uk의 이메일 확인됨
- Matthew LakinUniversity of New Mexicocs.unm.edu의 이메일 확인됨
- Matthew J. ParkinsonMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Steffen LöschPhD Candidate, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Peter DybjerProfessor of Computer Science, Chalmers Universitychalmers.se의 이메일 확인됨
- Michael FourmanSchool of Informatics, The University of Edinburghed.ac.uk의 이메일 확인됨
팔로우
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
cl.cam.ac.uk의 이메일 확인됨 - 홈페이지