Sciweavers

Share
IANDC
2010

Equational properties of iterative monads

9 years 7 months ago
Equational properties of iterative monads
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal systems of recursive equations have unique solutions. We prove that the unique solutions in iterative monads satisfy all the equational properties of iteration monads of Stephen Bloom and Zolt
Jirí Adámek, Stefan Milius, Jiri Vel
Added 03 Mar 2011
Updated 03 Mar 2011
Type Journal
Year 2010
Where IANDC
Authors Jirí Adámek, Stefan Milius, Jiri Velebil
Comments (0)
books