Data types
- 1 September 1977
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Data Types as LatticesSIAM Journal on Computing, 1976
- On the recursive specification of data typesPublished by Springer Nature ,1975
- The algebraic theory of recursive program schemesPublished by Springer Nature ,1975
- Continuous latticesLecture Notes in Mathematics, 1972