自分のプロフィールを作成
オープン アクセス
すべて表示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 - ホームページ