Published in TYPES 2022 post-proceedings, 2023
This paper proves that the bicategory of monoidal categories is univalent and that monoidal categories admit Rezk completions.
Recommended citation: https://doi.org/10.4230/LIPIcs.TYPES.2022.15
Published in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
We present a formalization of different categorical structures used to interpret linear logic.
Recommended citation: https://doi.org/10.1145/3636501.3636956
Published in Proceedings of Formal Structures for Computation and Deduction (FSCD) 2024, 2024
We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation.
Download here
Published:
A seminar talk presented at The Antwerp Algebra Colloquium in the framework of the Master Program at the University of Antwerp.
Published:
A seminar talk presented at the Programming Languages Seminar.
Published:
A seminar talk presented at The Antwerp Algebra Colloquium
Published:
A conference talk presented at TYPES 2022.
Published:
A workshop talk presented (online) at the Workshop on Homotopy Type Theory/Univalent Foundations.
Published:
A seminar talk at Dutch Categories And Types Seminar.
Published:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Published:
A seminar talk presented (online) at USD Categories and Type Theory Seminar.
Published:
A seminar talk presented at DIAM PhD Forum.
Published:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Bachelor project supervision, Technical University of Delft, Programming Languages Group, 1900
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Mastercourse, Technical University of Delft, Programming Languages Group, 2022