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

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) & (Supervisor)

Student thesis: Doctoral Thesis

Types, categories, actions

Author: Revell, T., 1 Dec 2015

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

Student thesis: Doctoral Thesis