A new approach to abstract data types, I Informal development

DOI10.1017/S0960129500001432zbMath0825.68456MaRDI QIDQ4017460

Solomon Feferman

Publication date: 16 January 1993

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Computation on abstract data types. The extensional approach, with an application to streams, Theses for Computation and Recursion on Concrete and Abstract Structures, Feferman on Computability

Cites Work

• Unnamed Item
• Partial abstract types
• A course in constructive algebra
• The formal language of recursion
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• Initial Algebra Semantics and Continuous Algebras
• Computable Algebra, General Theory and Theory of Computable Fields