Topologies sur des espaces ordonnés
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) no. 2, pp. 165-182.
@article{ITA_1982__16_2_165_0,
     author = {Betrema, J.},
     title = {Topologies sur des espaces ordonn\'es},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {165--182},
     publisher = {EDP-Sciences},
     volume = {16},
     number = {2},
     year = {1982},
     zbl = {0517.54026},
     mrnumber = {674926},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1982__16_2_165_0/}
}
TY  - JOUR
AU  - Betrema, J.
TI  - Topologies sur des espaces ordonnés
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1982
DA  - 1982///
SP  - 165
EP  - 182
VL  - 16
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1982__16_2_165_0/
UR  - https://zbmath.org/?q=an%3A0517.54026
UR  - https://www.ams.org/mathscinet-getitem?mr=674926
LA  - fr
ID  - ITA_1982__16_2_165_0
ER  - 
Betrema, J. Topologies sur des espaces ordonnés. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) no. 2, pp. 165-182. http://www.numdam.org/item/ITA_1982__16_2_165_0/

1. A. Arnold et M. Nivat, The Metric Space of Infinite Trees : Algebraïc and Topological Properties, Fundamenta Informaticae, vol. 4, 1980, p. 445-476. | MR 604273 | Zbl 0453.68021

2. G. Birkhoff, Lattice Theory, American Mathematical Society, Providence, Rhode Island, 1967. | MR 227053 | Zbl 0153.02501

3. S. L. Bloom et R. Tindel, Compatible Orderings on the Metric Theory of Trees in Les Arbres en Algèbre et en Programmation, 4e colloque, Lille, 1979, p. 18-23. | MR 554337

4. J. L. Kelley, General Topology, Springer-Verlag, New York, Heidelberg, Berlin, 1955. | MR 70144 | Zbl 0306.54002

5. J. Mycielski et W. Taylor, A Compactification of the Algebra of Terms, Algebra Universalis, vol. 6, 1976, p. 159-163. | MR 434922 | Zbl 0358.08001

6. M. Nivat, On the Interpretation of Recursive Polyadic Program Schemes, Symposia Mathematica, vol. 15, 1975, p. 255-281. | MR 391563 | Zbl 0346.68041

7. M. Nivat, Sur les ensembles de mots infinis engendrés par une grammaire algébrique, R.A.I.R.O. Informatique théorique, vol. 12, 1978, p. 259 à 278. | Numdam | MR 510641 | Zbl 0387.68050

8. G. D. Plotkin, A Powerdomain Construction, S.I.A.M. J. on Computing, vol. 5, 1976, p. 452-487. | MR 445891 | Zbl 0355.68015

9. D. Scott, The Lattice of Flow-Diagrams, in ENGELER, éd., Symposim on Semantics of Algorithmic Languages, Lecture Notes in Mathematics 188, Springer-Verlag, Berlin, Heidelberg, New York, 1971p. 311-372. | MR 275724 | Zbl 0228.68016

10. D. Scott, Data Types as Lattices, S.I.A.M. J. on Computing, vol. 5, 1976, p. 522-587. | MR 437330 | Zbl 0337.02018