Topologies sur des espaces ordonnés
Betrema, J.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982), p. 165-182 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1982-01-01
@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},
     volume = {16},
     year = {1982},
     pages = {165-182},
     mrnumber = {674926},
     zbl = {0517.54026},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1982__16_2_165_0}
}

Betrema, J. Topologies sur des espaces ordonnés. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) pp. 165-182. http://gdmltest.u-ga.fr/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