scientific article

zbMath0575.18004MaRDI QIDQ3695436

Eric G. Wagner, Stephen L. Bloom

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theoretical computer scienceEquational theoriesmany-sorted algebrasparametrized data types

Mathematics Subject Classification ID

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

Related Items (8)

Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Specifications in an arbitrary institution ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Canonical constraints for parameterized data types ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ Algebras, polynomials and programs

This page was built for publication: