Research output per year
Research output per year
Supervised Work
- 5 results
Search results
-
A categorical approach to the foundations of Quantum theory
Dunne, K. (Author), Duncan, R. (Supervisor) & Ghani, N. (Supervisor), 19 Sept 2019Student thesis: Doctoral Thesis
-
A framework for semiring-annotated type systems
Wood, J. (Author), Atkey, B. (Supervisor) & Ghani, N. (Supervisor), 3 Jul 2024Student thesis: Doctoral Thesis
-
Fundamental components of deep learning : a category-theoretic approach
Gavranovic, B. (Author), Ghani, N. (Supervisor) & Weir, G. (Supervisor), 7 Mar 2024Student thesis: Doctoral Thesis
-
Hopf-Frobenius algebras
Collins, J. (Author), Ghani, N. (Supervisor) & Winskel, G. (Supervisor), 19 Sept 2024Student thesis: Doctoral Thesis
-
Syntaxes with binding, their programs, and proofs
Allais, G. (Author), McBride, C. (Supervisor) & Ghani, N. (Supervisor), 12 Apr 2023Student thesis: Doctoral Thesis