Algebraic domain equations
- 31 December 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 27 (1-2) , 167-196
- https://doi.org/10.1016/0304-3975(83)90098-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Tω as a Universal DomainJournal of Computer and System Sciences, 1978
- Effectively given domainsTheoretical Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976