Power domains and second-order predicates
- 12 April 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 111 (1-2) , 59-88
- https://doi.org/10.1016/0304-3975(93)90182-s
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The mixed powerdomainTheoretical Computer Science, 1992
- Power domain constructionsScience of Computer Programming, 1991
- A semantics for complex objects and approximate queriesPublished by Association for Computing Machinery (ACM) ,1988
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976