Kobe Wullaert

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
Substitution for Non-Wellfounded Syntax with Binders Through Monoidal Categories. FSCD (2024)
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert
Displayed Monoidal Categories for the Semantics of Linear Logic. CPP (2024)
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
Substitution for Non-Wellfounded Syntax with Binders. CoRR (2023)
Benedikt Ahrens, Ralph Matthes, Kobe Wullaert
Formalizing Monoidal Categories and Actions for Syntax with Binders. CoRR (2023)
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent Monoidal Categories. CoRR (2022)
Benedikt Ahrens, Kobe Wullaert
Category Theory for Programming. CoRR (2022)
Kobe Wullaert, Ralph Matthes, Benedikt Ahrens
Univalent Monoidal Categories. TYPES (2022)