Neil Ghani

Search results

• A categorical approach to the foundations of Quantum theory

  Author: Dunne, K., 19 Sep 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

• Investigations into inductive-recursive definitions

  Author: Malatesta, L., 29 May 2015

  Supervisor: Ghani, N. (Supervisor) & Hancock, P. (Supervisor)

  Student thesis: Doctoral Thesis

• Types, categories, actions

  Author: Revell, T., 14 Jan 2016

  Supervisor: Ghani, N. (Supervisor) & Johann, P. (Supervisor)

  Student thesis: Doctoral Thesis