Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 3496 | 1769 |
h-індекс | 28 | 18 |
i10-індекс | 49 | 27 |
Доступні для всіх
Переглянути всі22 статті
2 статті
доступні
недоступні
За умовами фінансування
Співавтори
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghПідтверджена електронна адреса в inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckПідтверджена електронна адреса в uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПідтверджена електронна адреса в in.tum.de
- Michael NorrishAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Gavin BiermanOracleПідтверджена електронна адреса в oracle.com
- Christine TassonMaître de conférenceПідтверджена електронна адреса в irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityПідтверджена електронна адреса в st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeПідтверджена електронна адреса в dpmms.cam.ac.uk
- Fahad AusafKing's College LondonПідтверджена електронна адреса в kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonПідтверджена електронна адреса в tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonПідтверджена електронна адреса в kcl.ac.uk
- Nick BentonEngineering Manager, FacebookПідтверджена електронна адреса в fb.com