Equational logic of circular data type specification

DOI10.1016/0304-3975(89)90012-1zbMath0683.68018OpenAlexW1987000283MaRDI QIDQ1825026

Stephen L. Bloom, Zoltán Ésik

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90012-1

zbMATH Keywords

categoriesspecificationcircular data typesmany sorted universal algebra

Mathematics Subject Classification ID

Data structures (68P05) Equational categories (18C05) Categories of algebras (08C05)

Related Items

A connection between concurrency and language theory ⋮ Equational axioms for regular sets ⋮ Equational properties of iteration in algebraically complete categories ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ The equational logic of fixed points ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ A Mezei-Wright theorem for categorical algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterative and recursive matrix theories
• Algebras of iteration theories
• Iterative algebras
• Recursion and iteration in continuous theories: the M-construction
• Fundamental properties of infinite trees
• On flowchart theories. II: The nondeterministic case
• Partially additive categories and flow-diagram semantics
• Varietors and machines in a category
• On the algebraic structure of rooted trees
• Fixed-point constructions in order-enriched categories
• Axiomatizing schemes and their behaviors
• Right exact functors
• Formal category theory: Adjointness for 2-categories
• Varieties of Iteration Theories
• Compatible Orderings on the Metric Theory of Trees
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Algebraic specification of data types: A synthetic approach
• Vector Iteration in Pointed Iterative Theories
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Structured Programming With and Without go to Statements
• Initial Algebra Semantics and Continuous Algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Equational logic of circular data type specification