Up a level |
Klinke, Olaf Karl (2012). A bitopological point-free approach to compactifications. University of Birmingham. Ph.D.
Xu, Chuangjie (2015). A continuous computational interpretation of type theories. 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.
Waugh Ambridge, Todd (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. University of Birmingham. Ph.D.
Knapp, Cory (2018). Partial functions and recursion in univalent type theory. University of Birmingham. Ph.D.
Cheung, Wai Tak (2021). Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation. University of Birmingham. Ph.D.