Crea il mio profilo
Accesso pubblico
Visualizza tutto21 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghEmail verificata su inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeEmail verificata su cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckEmail verificata su uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail verificata su in.tum.de
- Michael NorrishAustralian National UniversityEmail verificata su anu.edu.au
- Gavin BiermanOracleEmail verificata su oracle.com
- Christine TassonMaître de conférenceEmail verificata su irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityEmail verificata su st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
- Fahad AusafKing's College LondonEmail verificata su kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonEmail verificata su tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonEmail verificata su kcl.ac.uk
- Nick BentonEngineering Manager, FacebookEmail verificata su fb.com