自分のプロフィールを作成
オープン アクセス
すべて表示2 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- John PowerHonorary Professor in Computing, Macquarie University確認したメール アドレス: bath.edu
- Luke OngDistinguished University Professor, Nanyang Technological University確認したメール アドレス: ntu.edu.sg
- Valeria de PaivaUniversity of Birmingham確認したメール アドレス: topos.institute
- Nick BentonEngineering Manager, Facebook確認したメール アドレス: fb.com
- Gavin BiermanOracle確認したメール アドレス: oracle.com
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genova確認したメール アドレス: unige.it
- Nicola GambinoDepartment of Mathematics, University of Manchester確認したメール アドレス: manchester.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of London確認したメール アドレス: qmul.ac.uk
- Andrea SchalkSchool of Computer Science, University of Manchester確認したメール アドレス: manchester.ac.uk
- Paul Blain LevySenior Lecturer, University of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Michael FourmanSchool of Informatics, The University of Edinburgh確認したメール アドレス: ed.ac.uk
- Christian UrbanKing's College London確認したメール アドレス: kcl.ac.uk
- Eugenio MoggiProfessor of Computer Science, Genova University確認したメール アドレス: unige.it