É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.; Ésik, Zoltán The equational logic of fixed points. (English) Zbl 0920.03067 Theor. Comput. Sci. 179, No. 1-2, 1-60 (1997). Reviewer: P.Bankston (Milwaukee) MSC: 03G30 18C10 08A70 03D75 08B05 06B35 68Q55 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 179, No. 1--2, 1--60 (1997; Zbl 0920.03067) Full Text: DOI