Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 7833 | 1607 |
h-indeks | 40 | 19 |
i10-indeks | 67 | 33 |
Dostęp publiczny
Wyświetl wszystko8 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKZweryfikowany adres z hw.ac.uk
- Ian OrtonUniversity of CambridgeZweryfikowany adres z cam.ac.uk
- Gavin BiermanOracleZweryfikowany adres z oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeZweryfikowany adres z dpmms.cam.ac.uk
- Christian UrbanKing's College LondonZweryfikowany adres z kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceZweryfikowany adres z cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Dan LicataWesleyan UniversityZweryfikowany adres z wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityZweryfikowany adres z anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenZweryfikowany adres z itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenZweryfikowany adres z itu.dk
- Roy CroleAssociate Professor, University of LeicesterZweryfikowany adres z le.ac.uk
- Matthew LakinUniversity of New MexicoZweryfikowany adres z cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchZweryfikowany adres z microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityZweryfikowany adres z chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghZweryfikowany adres z ed.ac.uk
Obserwuj
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Zweryfikowany adres z cl.cam.ac.uk - Strona główna