scientific article; zbMATH DE number 3655328

MaRDI QIDQ3854601zbMATH OpenFDO

Authors J. A. Bergstra, John V. Tucker

Publication date 1980

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)