scientific article

zbMath0431.68021MaRDI QIDQ3868737

J. V. Tucker, Jan A. Bergstra

Publication date: 1980

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

zbMATH Keywords

algebraic specificationsconditional equationsdata typesinitial algebra semanticsfinal algebra semanticscomputable algebras

Mathematics Subject Classification ID

Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items

Structured algebraic specifications: A kernel language