Neil Ghani

If you made any changes in Pure these will be visible here soon.

A categorical approach to the foundations of Quantum theory
Author: Dunne, K., 19 Sept 2019
Supervisor: Duncan, R. (Supervisor) & Ghani, N. (Supervisor)
Student thesis: Doctoral Thesis
Bifibrational parametricity, from zero to two dimensions
Author: Orsanigo, F., 27 Jan 2017
Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)
Student thesis: Doctoral Thesis
Syntaxes with binding, their programs, and proofs
Author: Allais, G., 12 Apr 2023
Supervisor: McBride, C. (Supervisor) & Ghani, N. (Supervisor)
Student thesis: Doctoral Thesis

Supervised Work