Surobaki
Follow
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and session types.
-
University of Glasgow
- United Kingdom
- https://academic-soup.web.app/
- https://orcid.org/0009-0000-1325-0533
- @[email protected]
- @Suro_baki
Surobaki is sponsoring 1 organization or maintainer