Abstract data types can have inequations

DOI10.1007/S00165-002-0232-2zbMath1069.68565OpenAlexW2076394404MaRDI QIDQ1423534

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)

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