Skapa en profil
Offentlig åtkomst
Visa alla8 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerifierad e-postadress på hw.ac.uk
- Ian OrtonUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Gavin BiermanOracleVerifierad e-postadress på oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifierad e-postadress på dpmms.cam.ac.uk
- Christian UrbanKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerifierad e-postadress på cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Dan LicataWesleyan UniversityVerifierad e-postadress på wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityVerifierad e-postadress på anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenVerifierad e-postadress på itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenVerifierad e-postadress på itu.dk
- Roy CroleAssociate Professor, University of LeicesterVerifierad e-postadress på le.ac.uk
- Matthew LakinUniversity of New MexicoVerifierad e-postadress på cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityVerifierad e-postadress på chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghVerifierad e-postadress på ed.ac.uk
Följ
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Verifierad e-postadress på cl.cam.ac.uk - Startsida