A formal treatment of univalent completions
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Leuven, Belgium
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Talks and presentations
An introduction to proof assistants
Talk, Delft University of Technology, PhD seminar of Delft Institute of Applied Mathematics, Delft, Netherlands
A seminar talk presented at DIAM PhD Forum.
Towards a homotopy theory of univalent category theory
Talk, University of San Diego, Categories and Type Theory Seminar, San Diego, United States
A seminar talk presented (online) at USD Categories and Type Theory Seminar.
Rezk completion of bicategories
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Vienna, Austria
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Rezk completions
Talk, Dutch Categories and Types Seminar, Delft, Netherlands
A seminar talk at Dutch Categories And Types Seminar.
A Library of Monoidal Categories for Display and Univalence
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Haifi, Israel
A workshop talk presented (online) at the Workshop on Homotopy Type Theory/Univalent Foundations.
Case Study on Displayed Monoidal Categories
Talk, TYPES22, Nantes, France
A conference talk presented at TYPES 2022.
Introduction to Type Theory: Another foundation of mathematics
Talk, University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
A seminar talk presented at The Antwerp Algebra Colloquium
An introduction to Initial Algebra Semantics
Talk, Delft University of Technology, Programming Languages Seminar, Delft, Netherlands
A seminar talk presented at the Programming Languages Seminar.
Elementary topoi as categorical models of set theory
Talk, University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
A seminar talk presented at The Antwerp Algebra Colloquium in the framework of the Master Program at the University of Antwerp.