Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
-
University of Nottingham
- https://ulrikbuchholtz.dk/
- https://orcid.org/0000-0002-5944-6838
- @[email protected]
- in/ulrik-buchholtz-a9a6b996
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.