×

zbMATH — the first resource for mathematics

Power domains. (English) Zbl 0391.68011

MSC:
68N01 General topics in the theory of software
68Q55 Semantics in the theory of computing
18A99 General theory of categories and functors
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] {\scG. Plotkin}, A powerdomain construction, SIAM J. Comput., to appear.
[2] Constable, R.; Egli, H., Computability concepts for programming language semantics, (), 98-106
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.