Not registered as user yet

Name:Zesen Qian
Country:Denmark
Affiliation:Aarhus University

Contributions

ICFP 2021 Author of Client-Server Sessions in Linear Logic within the Research Papers-track