Get my own profile

Public access

View all14 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéVerified email at ens-lyon.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
- Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
- Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
- Nicola GambinoDepartment of Mathematics, University of ManchesterVerified email at manchester.ac.uk