Pullbacks and coherences for wild cwfs
ASSUME 7, Birmingham, Oct 2024 · Slides
Constructing inverse diagrams in homotopical type theory
EuroProofNet WG6 meeting, Leuven, Apr 2024 · Slides, Video
On internal models of type theory and Reedy fibrant diagrams
YaMCATS 29, Manchester, Dec 2022 · Slides
Semisimplicial Types in Internal Categories with Families
TYPES 2021, Leiden, Jun 2021 · Slides, Video
Homotopy Type Theory in Isabelle
ITP 2021, Rome, Jun 2021 · Slides, Video
Dependent Types in Isabelle
4th Prague Inter-reasoning Workshop, Prague, Oct 2019