Not registered as user yet

Name:Ross Horne
Affiliation:Computer Science and Communications Research Unit, University of Luxembourg

Contributions

BEAT 2019 Author of Global Types with Internal Delegation within the BEAT 2019-track