Browse by Author
 | Up a level |
Number of items: 1.
Booij, Auke Bart 
ORCID: 0000-0003-3324-3167
(2020).
Analysis in univalent type theory.
University of Birmingham.
Ph.D.
| Up a level |
Booij, Auke Bart ORCID: 0000-0003-3324-3167
(2020).
Analysis in univalent type theory.
University of Birmingham.
Ph.D.