Crea il mio profilo
Accesso pubblico
Visualizza tutto8 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKEmail verificata su hw.ac.uk
- Ian OrtonUniversity of CambridgeEmail verificata su cam.ac.uk
- Gavin BiermanOracleEmail verificata su oracle.com
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
- Bas SpittersAssociate Professor, Aarhus UniversityEmail verificata su cs.au.dk
- Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
- Christian UrbanKing's College LondonEmail verificata su kcl.ac.uk
- Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail verificata su cl.cam.ac.uk
- S. C. SteenkampPhD student, University of CambridgeEmail verificata su cl.cam.ac.uk
- Dan LicataWesleyan UniversityEmail verificata su wesleyan.edu
- Ranald CloustonLecturer, Australian National UniversityEmail verificata su anu.edu.au
- Rasmus MøgelbergIT University of CopenhagenEmail verificata su itu.dk
- Bassel MannaaPostdoc, IT University of CopenhagenEmail verificata su itu.dk
- Roy CroleAssociate Professor, University of LeicesterEmail verificata su le.ac.uk
- Matthew LakinUniversity of New MexicoEmail verificata su cs.unm.edu
- Matthew J. ParkinsonMicrosoft ResearchEmail verificata su microsoft.com
- Steffen LöschPhD Candidate, University of CambridgeEmail verificata su cl.cam.ac.uk
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Peter DybjerProfessor of Computer Science, Chalmers UniversityEmail verificata su chalmers.se
- Michael FourmanSchool of Informatics, The University of EdinburghEmail verificata su ed.ac.uk
Segui
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Email verificata su cl.cam.ac.uk - Home page