When are two effectively given domains identical?
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 170-181
- https://doi.org/10.1007/3-540-09118-1_19
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Effectively given domainsTheoretical Computer Science, 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
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976