6 citations · 14 across the 6 of their papers we have counts for
1 paper · 1 filter
Sergey Goncharov, Lutz Schröder, Christoph Rauch +1
Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requi…