Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3475 | 1748 |
h-indeks | 28 | 18 |
i10-indeks | 49 | 27 |
Dostęp publiczny
Wyświetl wszystko21 artykułów
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckZweryfikowany adres z uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- Gavin BiermanOracleZweryfikowany adres z oracle.com
- Christine TassonMaître de conférenceZweryfikowany adres z irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityZweryfikowany adres z st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeZweryfikowany adres z dpmms.cam.ac.uk
- Fahad AusafKing's College LondonZweryfikowany adres z kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonZweryfikowany adres z tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonZweryfikowany adres z kcl.ac.uk
- Nick BentonEngineering Manager, FacebookZweryfikowany adres z fb.com