scientific article; zbMATH DE number 3655328

zbMATH Open0421.68021MaRDI QIDQ3854601FDOQ3854601

Authors: J. A. Bergstra, John V. Tucker 

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic specificationsprimitive recursive functionsinitial algebra semanticsfinal algebra semanticsalgebraic data types

Mathematics Subject Classification ID

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

Cited In (4)

• The data type variety of stack algebras
• A recursive second order initial algebra specification of primitive recursion
• Algebraic specifications of computable and semicomputable data types
• A completeness theorem for the expressive power of higher-order algebraic specifications

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