Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzE-mailová adresa ověřena na: cs.ucsc.edu
- John PowerHonorary Professor in Computing, Macquarie UniversityE-mailová adresa ověřena na: bath.edu
- Glynn WinskelUniversity of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Prakash PanangadenProfessor of Computer Science, McGill UniversityE-mailová adresa ověřena na: cs.mcgill.ca
- Radu MardareProfessor, University of StrathclydeE-mailová adresa ověřena na: strath.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceE-mailová adresa ověřena na: cl.cam.ac.uk
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Luca CardelliUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: andrew.cmu.edu
- David MacQueenProfessor Emeritus of Computer Science, University of ChicagoE-mailová adresa ověřena na: cs.uchicago.edu
- Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtE-mailová adresa ověřena na: mathematik.tu-darmstadt.de
- matthew hennessyProfessor of Computer ScienceE-mailová adresa ověřena na: cs.tcd.ie
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mailová adresa ověřena na: dpmms.cam.ac.uk
- Rob van GlabbeekUNSWE-mailová adresa ověřena na: cs.stanford.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsE-mailová adresa ověřena na: fmf.uni-lj.si
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: cis.upenn.edu
- Butler LampsonTechnical Fellow, Microsoft ResearchE-mailová adresa ověřena na: lampsons.us
- John C MitchellProfessor of Computer Science, Stanford UniversityE-mailová adresa ověřena na: Stanford.edu
- Andrew J. MillarUniversity of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Argyris ZardilisSainsbury Laboratory, Cambridge UniversityE-mailová adresa ověřena na: slcu.cam.ac.uk
Sledovat
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
E-mailová adresa ověřena na: inf.ed.ac.uk