scientific article; zbMATH DE number 1107618

zbMATH Open0885.18003MaRDI QIDQ4373552FDOQ4373552

Anna Labella, Ernest G. Manes, Zoltán Ésik, Stephen L. Bloom

Publication date: 16 February 1998

Title of this publication is not available (Why is that?)

Recommendations

• Iteration 2-theories
• What Are Iteration Theories?
• Equational properties of iteration in algebraically complete categories
• scientific article; zbMATH DE number 4197440

zbMATH Keywords

data type specificationalgebraically complete categoriesrecursive data typesdagger operationiteration 2-theoriesrecursive functorial equations

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Iteration 2-theories
• Categorical rewriting of term-like structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373552)