Abstract parametric classes and abstract data types defined by classical and constructive logical methods
From MaRDI portal
Publication:1342134
DOI10.1006/jsco.1994.1036zbMath0822.68064MaRDI 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
68Q65: Abstract data types; algebraic specification
Related Items
Formal reasoning about modules, reuse and their correctness, Optimization techniques for propositional intuitionistic logic and their implementation, \(\mathcal {BCDL}\): Basic constructive description logic