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
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
- Fredrik DahlqvistQueen Mary University of LondonVerified email at qmul.ac.uk