Robin Kaarsgaard

Registered user since Tue 6 Jul 2021

Name:Robin Kaarsgaard
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website:https://functorial.org

Contributions

POPL 2022 Author of Quantum Information Effects within the POPL-track