Get my own profile

Public access

View all14 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
- Adam ŚcibiorUniversity of British ColumbiaVerified email at cs.ubc.ca
- Frank WoodUniversity of British ColumbiaVerified email at cs.ubc.ca
- Yannick ForsterPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
- 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 BacciDept. Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
- Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
- Fredrik DahlqvistUniversity College LondonVerified email at ucl.ac.uk
- Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk