Založit si vlastní profil
Veřejný přístup
Zobrazit všechny21 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Cezary KaliszykUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Gavin BiermanOracleE-mailová adresa ověřena na: oracle.com
- Christine TassonMaître de conférenceE-mailová adresa ověřena na: irif.fr
- Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityE-mailová adresa ověřena na: st-andrews.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mailová adresa ověřena na: dpmms.cam.ac.uk
- Fahad AusafKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Laurence TrattSoftware Development Team, Informatics, King's College LondonE-mailová adresa ověřena na: tratt.net
- Maribel FernandezProfessor of Computer Science, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Nick BentonEngineering Manager, FacebookE-mailová adresa ověřena na: fb.com