Skapa en profil
Offentlig åtkomst
Visa alla21 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Gavin BiermanOracleVerifierad e-postadress på oracle.com
- Christine TassonMaître de conférenceVerifierad e-postadress på irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerifierad e-postadress på st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifierad e-postadress på dpmms.cam.ac.uk
- Fahad AusafKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonVerifierad e-postadress på tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonVerifierad e-postadress på kcl.ac.uk
- Nick BentonEngineering Manager, FacebookVerifierad e-postadress på fb.com