Mijn eigen profiel maken
Openbare toegang
Alles bekijken21 artikelen
2 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghGeverifieerd e-mailadres voor inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- Michael NorrishAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Gavin BiermanOracleGeverifieerd e-mailadres voor oracle.com
- Christine TassonMaître de conférenceGeverifieerd e-mailadres voor irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityGeverifieerd e-mailadres voor st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeGeverifieerd e-mailadres voor dpmms.cam.ac.uk
- Fahad AusafKing's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonGeverifieerd e-mailadres voor tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Nick BentonEngineering Manager, FacebookGeverifieerd e-mailadres voor fb.com