내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Joachim KockUniversitat Autònoma de Barcelona and University of Copenhagenmat.uab.cat의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Steve AwodeyCarnegie Mellon Universitycmu.edu의 이메일 확인됨
- Marcelo FioreProfessor in Mathematical Foundations of Computer Sciencecl.cam.ac.uk의 이메일 확인됨
- Christian SattlerChalmers University of Technologychalmers.se의 이메일 확인됨
- Glynn WinskelUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Richard Garnermq.edu.au의 이메일 확인됨
- Kristina SojakovaInria Parisinria.fr의 이메일 확인됨
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm Universitymath.su.se의 이메일 확인됨
- Michael A Warrenmawarren.net의 이메일 확인됨
- Gabriele LobbiaUniversità di Bolognaunibo.it의 이메일 확인됨
- Sina HazratpourJohns Hopkins Universityjhu.edu의 이메일 확인됨
- Christina VasilakopoulouNational Technical University of Athensmath.ntua.gr의 이메일 확인됨
팔로우