Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A Compendium of Continuous Lattices, ed. by G. Gierz et al., Springer-Verlag 1980.
FRINK, O.: Ideals in partially ordered sets, Amer. Math. Monthly 61 (1954), 223–234
GRÄTZER, G.: Universal algebra, 2nd ed., Springer-Verlag 1979
PLOTKIN, G.: A powerdomain construction, SIAM J. Comp. 5 (1976), 452–486
SCOTT, D.S.: Outline of a mathematical theory of computation, 4th Annual Princeton Conference on Information Science and Systems 1970, 169–176
SCOTT, D.S.: Continuous lattices, Lecture Notes in Math. vol.274, Springer-Verlag 1972, 97–136
SCOTT, D.S.: Data types as lattices, SIAM J. Comp. 5 (1976), 522–587
SCOTT, D.S.: Lectures on a mathematical theory of computation, Oxford Univ. Computing Laboratory Prog. Research Group — 19, 1981
SMYTH, M.B.: Power domains, JCSS 16 (1978), 23–36
GIERZ, G. & K. KEIMEL: Continuous Ideal Completions and Compactifications, in: Continuous Lattices, Lecture Notes in Math. 871 Springer-Verlag 1981, 97–124
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hrbacek, K. (1985). Powerdomains as algebraic lattices preliminary report. In: Brauer, W. (eds) Automata, Languages and Programming. ICALP 1985. Lecture Notes in Computer Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015753
Download citation
DOI: https://doi.org/10.1007/BFb0015753
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15650-5
Online ISBN: 978-3-540-39557-7
eBook Packages: Springer Book Archive