Skapa en profil
Offentlig åtkomst
Visa alla27 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Andrzej MurawskiUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifierad e-postadress på dpmms.cam.ac.uk
- Matthew HagueRoyal Holloway, University of LondonVerifierad e-postadress på cs.rhul.ac.uk
- Olivier SerreIRIF (Université de Paris & CNRS)Verifierad e-postadress på cnrs.fr
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerifierad e-postadress på cs.bham.ac.uk
- Takeshi TsukadaChiba UniversityVerifierad e-postadress på math.s.chiba-u.ac.jp
- Jonathan KochemsUniversity of OxfordVerifierad e-postadress på worc.ox.ac.uk
- Emanuele D'OsualdoMPI-SWSVerifierad e-postadress på mpi-sws.org
- Bruce ShepherdUniversity of British ColumbiaVerifierad e-postadress på cs.ubc.ca
- Gordon WilfongBell LabsVerifierad e-postadress på nokia-bell-labs.com
- Naoki KobayashiThe University of TokyoVerifierad e-postadress på is.s.u-tokyo.ac.jp
- Arnaud CarayolCNRS & Université Paris EstVerifierad e-postadress på univ-mlv.fr
- Andrew D. KerAssociate Professor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
- Dominik WagnerPhD student in Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Fabian ZaiserUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- William BlumMicrosoftVerifierad e-postadress på microsoft.com
- C StewartIndependentVerifierad e-postadress på linearity.org
- Carol MakUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Kazuyuki AsadaTohoku UniversityVerifierad e-postadress på riec.tohoku.ac.jp
Följ
Luke Ong
Distinguished University Professor, Nanyang Technological University
Verifierad e-postadress på ntu.edu.sg - Startsida