Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G. Iteration 2-theories. (English) Zbl 0981.18005 Appl. Categ. Struct. 9, No. 2, 173-216 (2001). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18C10 68Q42 18C50 68Q55 08B05 08B20 18D05 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Appl. Categ. Struct. 9, No. 2, 173--216 (2001; Zbl 0981.18005) Full Text: DOI
Ésik, Z.; Labella, A. Equational properties of iteration in algebraically complete categories. (English) Zbl 0903.18003 Theor. Comput. Sci. 195, No. 1, 61-89 (1998). MSC: 18C10 68Q65 18B20 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{A. Labella}, Theor. Comput. Sci. 195, No. 1, 61--89 (1998; Zbl 0903.18003) Full Text: DOI
Bloom, Stephen L.; Labella, Anna; Ésik, Zoltán; Manes, Ernest G. Iteration 2-theories. (Extended abstract). (English) Zbl 0885.18003 Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 30-44 (1997). MSC: 18C10 68Q65 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Lect. Notes Comput. Sci. 1349, 30--44 (1997; Zbl 0885.18003)
Ésik, Zoltán; Labella, Anna Equational properties of iteration in algebraically complete categories. (English) Zbl 0885.18002 Penczek, Wojciech (ed.) et al., Mathematical foundations of computer science 1996. 21st international symposium, MFCS ’96, Cracow, Poland, September 2-6, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1113, 336-347 (1996). MSC: 18C05 18D05 18C10 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{A. Labella}, Lect. Notes Comput. Sci. 1113, 336--347 (1996; Zbl 0885.18002)