A recursive second order initial algebra specification of primitive recursion

DOI10.1007/BF01178510zbMath0818.68113MaRDI QIDQ1338890

Karl Meinke

Publication date: 23 November 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

algebraic specifications

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Related Items

A completeness theorem for the expressive power of higher-order algebraic specifications, Proof theory of higher-order equations: Conservativity, normal forms and term rewriting., Higher-order equational logic for specification, simulation and testing, Higher-order algebra with transfinite types, An algebraic generalization of Frege structures -- binding algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic specifications of computable and semicomputable data types
• Universal algebra in higher types
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• CONSTRUCTIVE ALGEBRAS I
• Computable Algebra, General Theory and Theory of Computable Fields