Guy McCusker

Search results

• A general view of normalisation through atomic flows

  Author: Gundersen, T., 1 Aug 2009

  Supervisor: McCusker, G. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• Auto-tuning compiler options for HPC

  Author: Jones, J., 4 Sept 2019

  Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals

  Author: Clutha, M., 1 Jan 2011

  Supervisor: Vorobjov, N. (Supervisor) & McCusker, G. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• Graphical Foundations for Dialogue Games

  Author: Wingfield, C., 31 Dec 2013

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

  Student thesis: Doctoral Thesis › PhD

  File

• Imperative Programs as Proofs via Game Semantics

  Author: Churchill, M., 1 Oct 2011

  Supervisor: McCusker, G. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• Logical aspects of logical frameworks

  Author: Price, M., 1 Nov 2008

  Supervisor: Pym, D. (Supervisor) & McCusker, G. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• The Atomic Lambda-Mu Calculus

  Author: He, F., 29 May 2018

  Supervisor: Heijltjes, W. (Supervisor) & McCusker, G. (Supervisor)

  Student thesis: Doctoral Thesis › PhD

  File

• Towards a Godement Calculus for Dinatural Transformations

  Author: Santamaria, A., 4 Sept 2019

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

  Student thesis: Doctoral Thesis › PhD

  File