Abstract data types can have inequations

DOI10.1007/S00165-002-0232-2MaRDI QIDQ1423534zbMATH OpenOpenAlexFDO

Authors Hidetaka Kondoh

Publication date 7 March 2004

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-002-0232-2

zbMATH Keywords

Algebraic specificationAbstract data typeRefined typeSecond-order typed \(\lambda\)-calculusWidespectrum language

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:3026326
• scientific article; zbMATH DE number 3911687
• Abstractions of data types
• Publication:3028333
• On abstract data types presented by multiequations

This page was built for publication: Abstract data types can have inequations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1423534)