• 1 WEST 4.55

Accepting Doctoral Students

20012018

Research output per year

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

Supervised Work

On Operations with Binders and Operations with Equations

Author: Schmitter, D., 22 Jul 2020

Supervisor: Power, A. (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

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

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

A study of normalisation through subatomic logic

Author: Aler Tubella, A., 24 May 2017

Supervisor: Guglielmi, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File