43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
Alexander Kurz, Daniela Petrişan, Jiří Velebil
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads…