7 citations · 29 across the 9 of their papers we have counts for
1 paper · 1 filter
Sergey Goncharov, Julian Jakob, Renato Neves
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in t…