自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz確認したメール アドレス: cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie University確認したメール アドレス: bath.edu
- Glynn WinskelUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill University確認したメール アドレス: cs.mcgill.ca
- Radu MardareProfessor, University of Strathclyde確認したメール アドレス: strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer Science確認したメール アドレス: cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Luca CardelliUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of Chicago確認したメール アドレス: cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt確認したメール アドレス: mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer Science確認したメール アドレス: cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, Cambridge確認したメール アドレス: dpmms.cam.ac.uk
- Rob van GlabbeekUNSW確認したメール アドレス: cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physics確認したメール アドレス: fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメール アドレス: cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft Research確認したメール アドレス: lampsons.us
- John C MitchellProfessor of Computer Science, Stanford University確認したメール アドレス: Stanford.edu
- Andrew J. MillarUniversity of Edinburgh確認したメール アドレス: ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge University確認したメール アドレス: slcu.cam.ac.uk
フォロー
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
確認したメール アドレス: inf.ed.ac.uk