Talks
- Dependent two-sided fibrations for directed type theory
June, 2025 · 31st International Conference on Types for Proofs and Programs (TYPES 2025) · Slides Abstract
- Towards a fully functorial directed type theory
February 7, 2025 · DutchCATS meeting in Nijmegen · Slides
- A directed homotopy type theory for 1-categories
June 14, 2024 · 30th International Conference on Types for Proofs and Programs (TYPES 2024)
Master's Thesis
Teoría Homotópica de Tipos. Master's thesis, Universidad Nacional Mayor de San Marcos, 2023. Pdf Agda Code