自分のプロフィールを作成
オープン アクセス
すべて表示22 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Cezary KaliszykUniversity of Innsbruck確認したメール アドレス: uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität München確認したメール アドレス: in.tum.de
- Michael NorrishAustralian National University確認したメール アドレス: anu.edu.au
- Gavin BiermanOracle確認したメール アドレス: oracle.com
- Christine TassonMaître de conférence確認したメール アドレス: irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews University確認したメール アドレス: st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Fahad AusafKing's College London確認したメール アドレス: kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College London確認したメール アドレス: tratt.net
- Maribel FernandezProfessor of Computer Science, King's College London確認したメール アドレス: kcl.ac.uk
- Nick BentonEngineering Manager, Facebook確認したメール アドレス: fb.com