A second order theory of data types

DOI10.1007/BF02737105zbMath0627.68032OpenAlexW4238078068MaRDI QIDQ1092657

Ming-hua Zhang

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1007/bf02737105

zbMATH Keywords

categorical many-sorted second order theoriesdata logicsdata type specification.generalization of second order arithmetic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Data types with errors and exceptions

Uses Software

• ETPS

Cites Work

• A constructive method for abstract algebraic software specification
• Final algebra semantics and data type extensions
• Data types, abstract data types and their specification problem
• Abstract data types and the development of data structures
• Data type specification
• Heterogeneous algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A second order theory of data types