自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Mogens NielsenProfessor of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Pierre ClairambaultCNRS & LIS, Aix-Marseille Université確認したメール アドレス: cnrs.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Kim G. LarsenDirector, Professor Aalborg University確認したメール アドレス: cs.aau.dk
- Vladimiro SassoneUniversity of Southampton確認したメール アドレス: ecs.soton.ac.uk
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Russ HarmerCNRS, Lyon確認したメール アドレス: ens-lyon.fr
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure確認したメール アドレス: ens.fr
- Nicola GambinoDepartment of Mathematics, University of Manchester確認したメール アドレス: manchester.ac.uk