Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Category Theory for Programming
Benedikt Ahrens, Kobe Wullaert
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we stud…
cs.PL2024
Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories
Ralph Matthes, Kobe Wullaert, Benedikt Ahrens
We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation. Our construction of the syntax and its substitution…