Talks

• Pen-and-paper type theory: Understanding a modal type theory via a categorical model. Contributed talk at Interactions of Proof Assistants and Mathematics International Summer School, Regensburg, Germany. September 2023.
• Modelling crisp type theory. Manchester Category Theory Seminar. July 2023.
• Modelling crisp type theory. Johns Hopkins Category Theory Seminar. May 2023.
• Hyperdoctrine semantics for higher-order modal logic. 27th meeting of the Yorkshire and Midlands Category Theory Seminar, University of Leeds, UK. May 2022.