TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
SLIDES

Enriched Categories in Univalent Foundations

Niels van der Weide

A Lock Calculus for Multimode Type Theory

Andreas Nuyts

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Andreas Nuyts
Total: 3 presentations.