Abstract
Iterative algebras are defined by the property that every guarded system of recursive equations has a unique solution. We prove that they have a much stronger property: every system of recursive equations has a unique strict solution. And we characterize those systems that have a unique solution in every iterative algebra.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have