Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéVerifierad e-postadress på cnrs.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- Kim G. LarsenDirector, Professor Aalborg UniversityVerifierad e-postadress på cs.aau.dk
- Vladimiro SassoneUniversity of SouthamptonVerifierad e-postadress på ecs.soton.ac.uk
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifierad e-postadress på dpmms.cam.ac.uk
- Russ HarmerCNRS, LyonVerifierad e-postadress på ens-lyon.fr
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerifierad e-postadress på ens.fr
- Nicola GambinoDepartment of Mathematics, University of ManchesterVerifierad e-postadress på manchester.ac.uk