Plotkin, G. D. A powerdomain construction. (English) Zbl 0355.68015 SIAM J. Comput. 5, 452-487 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 195 Documents MSC: 68N01 General topics in the theory of software 68Q45 Formal languages and automata 68Q25 Analysis of algorithms and problem complexity 68W99 Algorithms in computer science PDFBibTeX XMLCite \textit{G. D. Plotkin}, SIAM J. Comput. 5, 452--487 (1976; Zbl 0355.68015) Full Text: DOI