Complete iterativity for algebras with effects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5728 LNCS, Issue , 2009, Pages 34-48

  Milius, Stefan ^a   Palm, Thorsten ^a   Schwencke, Daniel ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Distributive law; Initial algebra; Iterative algebra; Monad; Terminal coalgebra

Indexed keywords

DISTRIBUTIVE LAW; INITIAL ALGEBRA; ITERATIVE ALGEBRA; MONAD; TERMINAL COALGEBRA;

COMPUTER SCIENCE;

ALGEBRA;

EID: 70350399759     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03741-2_4     Document Type: Conference Paper

References (16)

1. Adámek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Structures Comput. Sci. 16, 1085-1131 (2006)
2. America, P., Rutten, J.J.M.M.: Solving reflexive domain equations in a category of complete metric spaces. J. Comput. System Sci. 39(3), 343-375 (1989)
3. Elgot, C.: Monadic computation and iterative algebraic theories. In: Rose, H.E., Shepherd-son, J.C. (eds.) Logic Colloquium 1973, pp. 175-230. North-Holland, Amsterdam (1975)
4. Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Log. Methods Comput. Sci. 3(4:11), 1-36 (2007)
5. Joyal, A.: Une theórie combinatoire des séries formelles. Adv. Math. 42, 1-82 (1981)
6. Joyal, A.: Foncteurs analytiques et espèces de structures. In: Labelle, G., Leroux, P. (eds.) Combinatoire énumérative. Lecture Notes in Math., vol. 1234, pp. 126-159 (1986)
7. Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20-78 (1993)
8. Kock, A.: Monads on symmetric monoidal closed categories. Arch. Math. (Basel) 21, 1-10 (1970)
9. Kock, A.: Strong functors and monoidal monads. Arch. Math. (Basel) 23, 113-120 (1972)
10. Lambek, J.: A fixpoint theorem for complete categories. Math. Z. 103(2), 151-161 (1968)
11. Milius, S.: Completely iterative algebras and completely iterative monads. Inform. and Comput. 196, 1-41 (2005)
12. Milius, S., Moss, L.S.: The category-theoretic solution of recursive program schemes. Theoret. Comput. Sci. 366, 3-59 (2006)
13. Milius, S., Palm, T., Schwencke, D.: Complete iterativity for algebras with effects, http://www.stefan-milius.eu
14. Moggi, E.: Notions of computation and monads. Inform. and Comput. 93(1), 55-92 (1991)
15. Nelson, E.: Iterative algebras. Theoret. Comput. Sci. 25, 67-94 (1983)
16. Tiuryn, J.: Unique fixed points vs. least fixed points. Theoret. Comput. Sci. 12, 229-254 (1980)