Semantic Domains
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Coherence and consistency in domainsJournal of Pure and Applied Algebra, 1990
- Universal profinite domainsInformation and Computation, 1987
- Effectively given spacesTheoretical Computer Science, 1984
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Algebras and combinatorsAlgebra universalis, 1981
- Stable models of typed λ-calculiPublished by Springer Nature ,1978
- Effectively given domainsTheoretical Computer Science, 1977
- Logic and programming languagesCommunications of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976