103 search results - page 1 / 21 » Complete Iterativity for Algebras with Effects |
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
CCA
2009
Springer
13 years 8 months ago
2009
Springer
ORDER
2010
13 years 3 months ago
2010
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomple...