Talks

Talks

On the Metatheory of Subtype Universes
Presented at the EuroProofNet Working Group 6 Meeting in Vienna, Austria (23-24 April 2023) [slides]
On the Metatheory of Subtype Universes
Presented at TYPES2023 in Valencia, Spain (11-14 June 2023) [ext. abstract] [slides]
An Introduction to Type Theory
Presented at Dept. of Mathematics Seminars at Royal Holloway, University of London (28 February 2024) [slides]