내 프로필 만들기
공개 액세스
모두 보기자료 27개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Andrzej MurawskiUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Matthew HagueRoyal Holloway, University of Londoncs.rhul.ac.uk의 이메일 확인됨
- Olivier SerreIRIF (Université de Paris & CNRS)cnrs.fr의 이메일 확인됨
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birminghamcs.bham.ac.uk의 이메일 확인됨
- Takeshi TsukadaChiba Universitymath.s.chiba-u.ac.jp의 이메일 확인됨
- Jonathan KochemsUniversity of Oxfordworc.ox.ac.uk의 이메일 확인됨
- Emanuele D'OsualdoMPI-SWSmpi-sws.org의 이메일 확인됨
- Bruce ShepherdUniversity of British Columbiacs.ubc.ca의 이메일 확인됨
- Gordon WilfongBell Labsnokia-bell-labs.com의 이메일 확인됨
- Naoki KobayashiThe University of Tokyois.s.u-tokyo.ac.jp의 이메일 확인됨
- Arnaud CarayolCNRS & Université Paris Estuniv-mlv.fr의 이메일 확인됨
- Andrew D. KerAssociate Professor of Computer Science, Oxford Universitycs.ox.ac.uk의 이메일 확인됨
- Dominik WagnerPhD student in Computer Science, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Fabian ZaiserUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburghed.ac.uk의 이메일 확인됨
- William BlumMicrosoftmicrosoft.com의 이메일 확인됨
- C StewartIndependentlinearity.org의 이메일 확인됨
- Carol MakUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Kazuyuki AsadaTohoku Universityriec.tohoku.ac.jp의 이메일 확인됨
팔로우
Luke Ong
Distinguished University Professor, Nanyang Technological University
ntu.edu.sg의 이메일 확인됨 - 홈페이지