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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.