Univalent Monoidal Categories. - Kobe Wullaert; Ralph Matthes; Benedikt Ahrens (TYPES, 2022)

Category Theory for Programming. - Benedikt Ahrens; Kobe Wullaert (CoRR, 2022)

Formalizing Monoidal Categories and Actions for Syntax with Binders. - Benedikt Ahrens; Ralph Matthes; Kobe Wullaert (CoRR, 2023)

Substitution for Non-Wellfounded Syntax with Binders. - Ralph Matthes; Kobe Wullaert; Benedikt Ahrens (CoRR, 2023)

Displayed Monoidal Categories for the Semantics of Linear Logic. - Benedikt Ahrens; Ralph Matthes; Niels van der Weide; Kobe Wullaert (CPP, 2024)

Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. - Ralph Matthes; Kobe Wullaert; Benedikt Ahrens (FSCD, 2024)

Scott's Representation Theorem and the Univalent Karoubi Envelope. - Arnoud van der Leer; Kobe Wullaert; Benedikt Ahrens (CoRR, 2025)