Browse by Supervisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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: 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.

This list was generated on Thu Jun 20 11:51:25 2024 BST.