Results 1 -
2 of
2
Value Recursion in Monadic Computations
- OGI School of Science and Engineering, OHSU
, 2002
"... viii 1 ..."
Free Iterative Theories
- A Coalgebraic View, Math. Structures Comput. Sci
"... Summary. We prove that iteration theories can be introduced as algebras for the monad Rat on the category of signatures assigning to every signature Σ the rational-Σ-tree signature. This supports the result that iteration theories axiomatize precisely the equational properties of least fixed points ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
Summary. We prove that iteration theories can be introduced as algebras for the monad Rat on the category of signatures assigning to every signature Σ the rational-Σ-tree signature. This supports the result that iteration theories axiomatize precisely the equational properties of least fixed points in domain theory: Rat is the monad of free rational theories and every free rational theory has a continuous completion. Key words: Iteration theory, rational theory, monad, Eilenberg-Moore algebra. 1
