自分のプロフィールを作成
オープン アクセス
すべて表示27 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrzej MurawskiUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Matthew HagueRoyal Holloway, University of London確認したメール アドレス: cs.rhul.ac.uk
- Olivier SerreIRIF (Université de Paris & CNRS)確認したメール アドレス: cnrs.fr
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Takeshi TsukadaChiba University確認したメール アドレス: math.s.chiba-u.ac.jp
- Jonathan KochemsUniversity of Oxford確認したメール アドレス: worc.ox.ac.uk
- Emanuele D'OsualdoMPI-SWS確認したメール アドレス: mpi-sws.org
- Bruce ShepherdUniversity of British Columbia確認したメール アドレス: cs.ubc.ca
- Gordon WilfongBell Labs確認したメール アドレス: nokia-bell-labs.com
- Naoki KobayashiThe University of Tokyo確認したメール アドレス: is.s.u-tokyo.ac.jp
- Arnaud CarayolCNRS & Université Paris Est確認したメール アドレス: univ-mlv.fr
- Andrew D. KerAssociate Professor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Dominik WagnerPhD student in Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Fabian ZaiserUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
- William BlumMicrosoft確認したメール アドレス: microsoft.com
- C StewartIndependent確認したメール アドレス: linearity.org
- Carol MakUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Kazuyuki AsadaTohoku University確認したメール アドレス: riec.tohoku.ac.jp
フォロー
Luke Ong
Distinguished University Professor, Nanyang Technological University
確認したメール アドレス: ntu.edu.sg - ホームページ