Representing Temporal Operators with Dependent Event Types

Presented at TYPES2024 in Copenhagen, Denmark (10-14 June 2024) [ext. abstract] [slides]

An Introduction to Type Theory

Presented at Dept. of Mathematics Seminars at Royal Holloway, University of London (28 February 2024) [slides]

On the Metatheory of Subtype Universes

Presented at TYPES2023 in Valencia, Spain (11-14 June 2023) [ext. abstract] [slides]

On the Metatheory of Subtype Universes

Presented at the EuroProofNet Working Group 6 Meeting in Vienna, Austria (23-24 April 2023) [slides]