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

Thesis

A categorical approach to the foundations of Quantum theory

Author: Dunne, K., 1 Apr 2018

Supervisor: Duncan, R. (Supervisor) & Ghani, N. (Supervisor)

Student thesis: Doctoral Thesis

Bifibrational parametricity : from zero to two dimensions

Author: Orsanigo, F., 1 Oct 2016

Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)

Student thesis: Doctoral Thesis

Investigations into inductive-recursive definitions

Author: Malatesta, L., 1 Oct 2013

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

Student thesis: Doctoral Thesis

Types, categories, actions

Author: Revell, T., 1 Dec 2015

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

Student thesis: Doctoral Thesis