45 citations · 96 across the 11 of their papers we have counts for
1 paper · 1 filter
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…