Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3496 | 1769 |
h-index | 28 | 18 |
i10-index | 49 | 27 |
Acces public
Afișați-le pe toate22 de articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghAdresă de e-mail confirmată pe inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeAdresă de e-mail confirmată pe cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckAdresă de e-mail confirmată pe uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresă de e-mail confirmată pe in.tum.de
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Gavin BiermanOracleAdresă de e-mail confirmată pe oracle.com
- Christine TassonMaître de conférenceAdresă de e-mail confirmată pe irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityAdresă de e-mail confirmată pe st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeAdresă de e-mail confirmată pe dpmms.cam.ac.uk
- Fahad AusafKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonAdresă de e-mail confirmată pe tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Nick BentonEngineering Manager, FacebookAdresă de e-mail confirmată pe fb.com