Browse by Supervisor
 | Up a level |
Number of items: 5.
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: https://orcid.org/0000-0003-1585-3172
(2023).
Domain theory in constructive and predicative univalent foundations.
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.