Abstract
The author presents a topological approach to the development of the theory of domains.
Research supported in part by the Russian Foundation for Fundamental Research (93-011-16014).
Preview
Unable to display preview. Download preview PDF.
References
Jung, A.: Cartesian Closed Categories of Domains. CWI Tract 66 Stichting Math. Centrum Amsterdam (1989)
Ershov, Yu. L.: La théorie des énumération. Actes Congr. Intern. Math. 1 Gauthier-Villars Paris (1971) 223–227
Scott, D.: Models for various type-free calculi. LMPS IV. Studies in Logic No 74 North-Holland Amsterdam (1973) 157–188
Ershov, Yu. L.: Theory of A-spaces. Algebra i Logika 12 No 4 (1973) 369–416
Scott, D.: Domains for denotational semantics. ICALP 82. Springer LNCS No 140 (1982) 577–613
Ershov, Yu. L.: Theory of enumerations [in Russian]. Nauka Moscow (1977)
Ershov, Yu. L.: Model ℂ of partial continuous functional. Logic Colloq.'76. Studies in Logic No 87 North-Holland Amsterdam (1977) 455–467
Peretyat'kin, M. G.: Strongly constructive models and enumerations of the boolean algebra of recursive sets. Algebra i Logika 10 No 5 (1971) 535–557
Goncharov, S. S., Ershov, Yu. L., and Sviridenko, D. I.: Semantic programming. Information Processing 86. North-Holland Amsterdam (1986) 1993–1100
Ershov, Yu. L.: On f A-spaces. Algebra i Logika 25 No 5 (1986) 533–543
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ershov, Y.L. (1993). Theory of domains and nearby. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039696
Download citation
DOI: https://doi.org/10.1007/BFb0039696
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57316-6
Online ISBN: 978-3-540-48056-3
eBook Packages: Springer Book Archive