Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
- Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
- Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
- Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
- Yannick ForsterCambium Team, Inria ParisVerified email at inria.fr
- Nicolas OuryVerified email at ed.ac.uk
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
- Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
- Fredrik DahlqvistQueen Mary University of LondonVerified email at qmul.ac.uk