Convex powerdomains I
- 1 September 1987
- journal article
- Published by Elsevier in Information and Computation
- Vol. 74 (3) , 198-225
- https://doi.org/10.1016/0890-5401(87)90021-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- Power domainsJournal of Computer and System Sciences, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976
- Ideals in Partially Ordered SetsThe American Mathematical Monthly, 1954