Conor McBride

Search results

• Syntaxes with binding, their programs, and proofs

  Allais, G. (Author), McBride, C. (Supervisor) & Ghani, N. (Supervisor), 12 Apr 2023

  Student thesis: Doctoral Thesis