On the representation of data types

Publisher Website

1 January 1981

book chapter
Published by Springer Nature

p. 419-431
https://doi.org/10.1007/3-540-10699-5_116

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Initial Algebra Semantics and Continuous Algebras
Journal of the ACM, 1977
Abstract Data Types and Software Validation
Published by Defense Technical Information Center (DTIC) ,1976
Proof of correctness of data representations
Acta Informatica, 1972