Založit si vlastní profil
Veřejný přístup
Zobrazit všechny13 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéE-mailová adresa ověřena na: cnrs.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- Kim G. LarsenDirector, Professor Aalborg UniversityE-mailová adresa ověřena na: cs.aau.dk
- Vladimiro SassoneUniversity of SouthamptonE-mailová adresa ověřena na: ecs.soton.ac.uk
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mailová adresa ověřena na: dpmms.cam.ac.uk
- Russ HarmerCNRS, LyonE-mailová adresa ověřena na: ens-lyon.fr
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureE-mailová adresa ověřena na: ens.fr
- Nicola GambinoDepartment of Mathematics, University of ManchesterE-mailová adresa ověřena na: manchester.ac.uk