Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

IANDC
2010

favoriteEmaildiscussreport

107views more IANDC 2010»

Equational properties of iterative monads

13 years 1 months ago

Equational properties of iterative monads

Download www.iti.cs.tu-bs.de

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

Real-time Traffic

Business | IANDC 2010 | Iteration Monad | Iterative Monad | Recursive Equations |

claim paper

Related Content

» Iterative reflections of monads

» Complete Axioms for Categorical FixedPoint Operators

» Complete Iterativity for Algebras with Effects

» Kleene Monads Handling Iteration in a Framework of Generic Effects

» Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

» Monadic Chain Logic Over Iterations and Applications to Pushdown Systems

» Local behavior of an iterative framework for generalized equations with nonisolated soluti...

» Static Analysis by Policy Iteration on Relational Domains

» Gaussian Belief Propagation Solver for Systems of Linear Equations

Post Info
More Details (n/a)

Added	03 Mar 2011
Updated	03 Mar 2011
Type	Journal
Year	2010
Where	IANDC
Authors	Jirí Adámek, Stefan Milius, Jiri Velebil

Comments (0)