自分のプロフィールを作成
オープン アクセス
すべて表示18 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Hongseok YangProfessor, School of Computing, KAIST確認したメール アドレス: kaist.ac.kr
- Chris HeunenUniversity of Edinburgh確認したメール アドレス: ed.ac.uk
- Sam LindleyThe University of Edinburgh確認したメール アドレス: ed.ac.uk
- Adam ŚcibiorUniversity of British Columbia確認したメール アドレス: cs.ubc.ca
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physics確認したメール アドレス: fmf.uni-lj.si
- Frank WoodUniversity of British Columbia確認したメール アドレス: cs.ubc.ca
- Yannick ForsterCambium Team, Inria Paris確認したメール アドレス: inria.fr
- Nicolas Oury確認したメール アドレス: ed.ac.uk
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure確認したメール アドレス: ens.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, Denmark確認したメール アドレス: cs.aau.dk
- Paul Blain LevySenior Lecturer, University of Birmingham確認したメール アドレス: cs.bham.ac.uk
- Ilias GarnierPostdoc, École Normale Supérieure確認したメール アドレス: di.ens.fr
- Fredrik DahlqvistQueen Mary University of London確認したメール アドレス: qmul.ac.uk