11 citations · 15 across the 3 of their papers we have counts for
4 papers
A Metalanguage for Guarded Iteration
Sergey Goncharov, Christoph Rauch, Lutz Schröder
Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of…
Guarded and Unguarded Iteration for Generalized Processes
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…
Complete Elgot Monads and Coalgebraic Resumptions
Sergey Goncharov, Stefan Milius, Christoph Rauch
Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a m…
Unguarded Recursion on Coinductive Resumptions
Sergey Goncharov, Lutz Schröder, Christoph Rauch +1
We study a model of side-effecting processes obtained by starting from a monad modelling base effects and adjoining free operations using a cofree coalgebra construction; one thus…