Browse by Supervisor
 | Up a level |
Number of items: 2.
Booij, Auke Bart 
ORCID: 0000-0003-3324-3167
(2020).
Analysis in univalent type theory.
University of Birmingham.
Ph.D.
de Jong, Tom ORCID: 0000-0003-1585-3172
(2023).
Domain theory in constructive and predicative univalent foundations.
University of Birmingham.
Ph.D.