Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 7836 | 1610 |
h-index | 40 | 19 |
i10-indeks | 67 | 33 |
Offentlig adgang
Se alle8 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerificeret mail på hw.ac.uk
- Ian OrtonUniversity of CambridgeVerificeret mail på cam.ac.uk
- Gavin BiermanOracleVerificeret mail på oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerificeret mail på ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityVerificeret mail på cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerificeret mail på dpmms.cam.ac.uk
- Christian UrbanKing's College LondonVerificeret mail på kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerificeret mail på cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Dan LicataWesleyan UniversityVerificeret mail på wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityVerificeret mail på anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenVerificeret mail på itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenVerificeret mail på itu.dk
- Roy CroleAssociate Professor, University of LeicesterVerificeret mail på le.ac.uk
- Matthew LakinUniversity of New MexicoVerificeret mail på cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchVerificeret mail på microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerificeret mail på cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityVerificeret mail på chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghVerificeret mail på ed.ac.uk
Følg
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Verificeret mail på cl.cam.ac.uk - Startside