Documents

This is the public shelf for longer-form material that sits beside the blog: CVs, theses, reports, and anything else that is better read or downloaded as a full document.

Current documents

• WarrickCV.pdf
  Warrick CV. Current CV.
• On-the-grammar-of-proof.pdf
  On the Grammar of Proof. Master's thesis.
• TT-Semantics-Final-Report.pdf
  TT Semantics Final Report. Final report for the type-theory and semantics work.

More public documents will be added here as the site grows.