scientific article; zbMATH DE number 1107618

MaRDI QIDQ4373552zbMATH OpenFDO

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

Publication date 16 February 1998

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)

Recommendations

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

Cited in

(2)

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

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)