Sciweavers

4 search results - page 1 / 1
» Elgot Algebras
Sort
View
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 3 months ago
Elgot Algebras
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
Jirí Adámek, Stefan Milius, Jiri Vel...
IANDC
2010
107views more  IANDC 2010»
13 years 29 days 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 sys...
Jirí Adámek, Stefan Milius, Jiri Vel...
MSCS
2010
103views more  MSCS 2010»
13 years 2 months ago
Iterative reflections of monads
Iterative monads, introduced by Calvin Elgot in the 1970’s, are those ideal monads in which every guarded system of recursive equations has a unique solution. For every ideal mon...
Jirí Adámek, Stefan Milius, Jiri Vel...
IANDC
2007
133views more  IANDC 2007»
13 years 3 months ago
On decidability of monadic logic of order over the naturals extended by monadic predicates
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
Alexander Rabinovich