James Laird

Search results

• Automated Assistance and Perceptions of Trust and Confidence: Experiments in the Domain of Grammar and Spelling Checking

  Zijlstra, M. (Author), Laird, J. (Supervisor), Payne, S. (Supervisor), Newnes, L. (Supervisor) & Jones, S. (Supervisor), 2 Nov 2022

  Student thesis: Doctoral Thesis › PhD

  File

• Modular Normalisation of Classical Proofs

  Ralph, B. (Author), Laird, J. (Supervisor) & Guglielmi, A. (Supervisor), 3 Apr 2019

  Student thesis: Doctoral Thesis › PhD

  File

• Per Interest-Point Local Descriptors and Detecting People in Artwork

  Westlake, N. (Author)Laird, J. (Supervisor), Campbell, N. (Supervisor), Hall, P. (Supervisor) & Brown, M. (Supervisor), 19 Jun 2019

  Student thesis: Doctoral Thesis › PhD

  File

• The Crossroads of Categorical Algebra and Game Semantics: An investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages

  Gowers, W. J. (Author), Laird, J. (Supervisor) & Guglielmi, A. (Supervisor), 22 Jul 2020

  Student thesis: Doctoral Thesis › PhD

  File