내 프로필 만들기
공개 액세스
모두 보기자료 21개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburghinf.ed.ac.uk의 이메일 확인됨
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Cezary KaliszykUniversity of Innsbruckuibk.ac.at의 이메일 확인됨
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de의 이메일 확인됨
- Michael NorrishAustralian National Universityanu.edu.au의 이메일 확인됨
- Gavin BiermanOracleoracle.com의 이메일 확인됨
- Christine TassonMaître de conférenceirif.fr의 이메일 확인됨
- Roy DyckhoffHon. Senior Lecturer, St Andrews Universityst-andrews.ac.uk의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Fahad AusafKing's College Londonkcl.ac.uk의 이메일 확인됨
- Laurence TrattSoftware Development Team, Informatics, King's College Londontratt.net의 이메일 확인됨
- Maribel FernandezProfessor of Computer Science, King's College Londonkcl.ac.uk의 이메일 확인됨
- Nick BentonEngineering Manager, Facebookfb.com의 이메일 확인됨