• 1 WEST 4.55

Accepting PhD Students

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

Thesis

A lambda-calculus that achieves full laziness with spine duplication

Author: Sherratt, D., 4 Sep 2019

Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

A study of normalisation through subatomic logic

Author: Aler Tubella, A., 24 May 2017

Supervisor: Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Modular Normalisation of Classical Proofs

Author: Ralph, B., 3 Apr 2019

Supervisor: Laird, J. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Towards a Godement Calculus for Dinatural Transformations

Author: Santamaria, A., 4 Sep 2019

Supervisor: McCusker, G. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File