Fully effective solutions of recursive domain equations
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 326-336
- https://doi.org/10.1007/3-540-09526-8_30
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- When are two effectively given domains identical?Published by Springer Nature ,1979
- Effectively given domainsTheoretical Computer Science, 1977
- Data typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- The category-theoretic solution of recursive domain equationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Computability concepts for programming language semanticsTheoretical Computer Science, 1976
- Data Types as LatticesSIAM Journal on Computing, 1976
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976