Registered user since Wed 7 Jan 2026
Name:Alex Rice
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: https://alexarice.github.io
GitHub: https://github.com/alexarice
Research interests:Type theory, Programming languages, Quantum comptuting
Contributions
Using general profile