Abstract parametric classes and abstract data types defined by classical and constructive logical methods

DOI10.1006/JSCO.1994.1036zbMath0822.68064OpenAlexW2070594136MaRDI QIDQ1342134

Mario Ornaghi, Pierangelo Miglioli, Ugo Moscato

Publication date: 11 January 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1994.1036

zbMATH Keywords

abstract data typesrecurrence APC-expressions

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Formal reasoning about modules, reuse and their correctness ⋮ Optimization techniques for propositional intuitionistic logic and their implementation ⋮ \(\mathcal {BCDL}\): Basic constructive description logic

This page was built for publication: Abstract parametric classes and abstract data types defined by classical and constructive logical methods