Elgot Algebras: (Extended Abstract)†
Under a Creative Commons license
open access
Keywords
Elgot algebra
rational monad
coalgebra
iterative theories
Cited by (0)
- †
The full version of this paper containing all proofs can be found at the URL http://www.iti.cs.tu-bs.de/~milius.
- 1
The first and the third author acknowledge the support of the Grant Agency of the Czech Republic under the Grant No. 201/02/0148.
Copyright © 2006 Published by Elsevier B.V.