Kurz, Alexander; Rosický, Jiří Operations and equations for coalgebras. (English) Zbl 1066.08005 Math. Struct. Comput. Sci. 15, No. 1, 149-166 (2005). Reviewer: Jānis Cīrulis (Riga) MSC: 08A70 18C10 68Q65 03B45 68Q85 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{J. Rosický}, Math. Struct. Comput. Sci. 15, No. 1, 149--166 (2005; Zbl 1066.08005) Full Text: DOI
Connelly, Richard H.; Morris, F. Lockwood A generalization of the trie data structure. (English) Zbl 0840.68029 Math. Struct. Comput. Sci. 5, No. 3, 381-418 (1995). MSC: 68P05 68Q55 PDFBibTeX XMLCite \textit{R. H. Connelly} and \textit{F. L. Morris}, Math. Struct. Comput. Sci. 5, No. 3, 381--418 (1995; Zbl 0840.68029) Full Text: DOI
Claßen, Ingo; Große-Rhode, Martin; Wolter, Uwe Categorical concepts for parametrized partial specifications. (English) Zbl 0909.18002 Math. Struct. Comput. Sci. 5, No. 2, 153-188 (1995). Reviewer: Horst Reichel (Dresden) (MR 97b:68143) MSC: 18C10 68Q65 PDFBibTeX XMLCite \textit{I. Claßen} et al., Math. Struct. Comput. Sci. 5, No. 2, 153--188 (1995; Zbl 0909.18002) Full Text: DOI
Reichel, Horst An approach to object semantics based on terminal co-algebras. (English) Zbl 0854.18006 Math. Struct. Comput. Sci. 5, No. 2, 129-152 (1995). Reviewer: V.Manca (Pisa) MSC: 18C10 68Q55 68Q65 18D15 PDFBibTeX XMLCite \textit{H. Reichel}, Math. Struct. Comput. Sci. 5, No. 2, 129--152 (1995; Zbl 0854.18006) Full Text: DOI
Löwe, Michael; Wolter, Uwe Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functors semantics. (English) Zbl 0856.68098 Math. Struct. Comput. Sci. 5, No. 1, 69-111 (1995). Reviewer: V.Manca (Pisa) MSC: 68Q65 18C10 68Q10 PDFBibTeX XMLCite \textit{M. Löwe} and \textit{U. Wolter}, Math. Struct. Comput. Sci. 5, No. 1, 69--111 (1995; Zbl 0856.68098) Full Text: DOI
Duval, Dominique; Reynaud, Jean-Claude Sketches and computation. II: Dynamic evaluation and applications. (English) Zbl 0822.68063 Math. Struct. Comput. Sci. 4, No. 2, 239-271 (1994). MSC: 68Q65 68W30 18C10 18A10 PDFBibTeX XMLCite \textit{D. Duval} and \textit{J.-C. Reynaud}, Math. Struct. Comput. Sci. 4, No. 2, 239--271 (1994; Zbl 0822.68063) Full Text: DOI
Duval, Dominique; Reynaud, Jean-Claude Sketches and computation. I: Basic definitions and static evaluation. (English) Zbl 0810.68096 Math. Struct. Comput. Sci. 4, No. 2, 185-238 (1994). MSC: 68Q65 68W30 18A10 18C10 PDFBibTeX XMLCite \textit{D. Duval} and \textit{J.-C. Reynaud}, Math. Struct. Comput. Sci. 4, No. 2, 185--238 (1994; Zbl 0810.68096) Full Text: DOI
Wadler, Philip Comprehending monads. (English) Zbl 0798.68040 Math. Struct. Comput. Sci. 2, No. 4, 461-493 (1992). MSC: 68P05 68N15 18C15 18C10 68Q65 08A70 03B40 PDFBibTeX XMLCite \textit{P. Wadler}, Math. Struct. Comput. Sci. 2, No. 4, 461--493 (1992; Zbl 0798.68040) Full Text: DOI