scientific article; zbMATH DE number 3918620

MaRDI QIDQ3695436zbMATH OpenFDO

Authors Stephen L. Bloom, Eric G. Wagner

Publication date 1985

zbMATH Keywords

Equational theoriesmany-sorted algebrasparametrized data typestheoretical computer science

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2053035
• scientific article; zbMATH DE number 4039263
• Generalized hypersubstitutions of many-sorted algebras
• Publication:3487614
• A Framework for Order-Sorted Algebra

Cited in

(26)

• Toward formal development of programs from algebraic specifications: Implementations revisited
• Categorical aspects of data type constructors
• Specifications in an arbitrary institution
• Many-sorted algebra of technological interactions
• Detecting equivalence of modular specifications with categorical diagrams
• On abstract data types presented by multiequations
• Reflections on and of minor-closed classes of multisorted operations
• scientific article; zbMATH DE number 4158915 (Why is no real title available?)
• Non-deterministic hyperidentities in many-sorted algebras
• scientific article; zbMATH DE number 4039263 (Why is no real title available?)
• scientific article; zbMATH DE number 1278016 (Why is no real title available?)
• scientific article; zbMATH DE number 512377 (Why is no real title available?)
• scientific article; zbMATH DE number 1008445 (Why is no real title available?)
• scientific article; zbMATH DE number 1162796 (Why is no real title available?)
• scientific article; zbMATH DE number 2053035 (Why is no real title available?)
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• Sorting Multidimensional Types: Theory and Application
• scientific article; zbMATH DE number 814792 (Why is no real title available?)
• A simple abstract semantics for equational theories
• Functional sorts in data type specifications
• Some Varieties of Equational Logic
• Canonical constraints for parameterized data types
• Generalized hypersubstitutions of many-sorted algebras
• Algebras, polynomials and programs

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 Q3695436)