Topologies sur des espaces ordonnés
RAIRO. Informatique théorique, 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. Informatique th\'eorique},
     pages = {165--182},
     publisher = {EDP-Sciences},
     volume = {16},
     number = {2},
     year = {1982},
     mrnumber = {674926},
     zbl = {0517.54026},
     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. Informatique théorique
PY  - 1982
SP  - 165
EP  - 182
VL  - 16
IS  - 2
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1982__16_2_165_0/
LA  - fr
ID  - ITA_1982__16_2_165_0
ER  - 
%0 Journal Article
%A Betrema, J.
%T Topologies sur des espaces ordonnés
%J RAIRO. Informatique théorique
%D 1982
%P 165-182
%V 16
%N 2
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1982__16_2_165_0/
%G fr
%F ITA_1982__16_2_165_0
Betrema, J. Topologies sur des espaces ordonnés. RAIRO. Informatique théorique, 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 | Zbl

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

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

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

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

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

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 | Zbl

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

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 | Zbl

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