142
click to vote
IANDC
2010
15 years 21 days ago
2010
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 sys...