@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. The Metric Space of Infinite Trees : Algebraïc and Topological Properties, Fundamenta Informaticae, vol. 4, 1980, p. 445-476. | MR 604273 | Zbl 0453.68021
et ,2. Lattice Theory, American Mathematical Society, Providence, Rhode Island, 1967. | MR 227053 | Zbl 0153.02501
,3. 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
et ,4. General Topology, Springer-Verlag, New York, Heidelberg, Berlin, 1955. | MR 70144 | Zbl 0306.54002
,5. A Compactification of the Algebra of Terms, Algebra Universalis, vol. 6, 1976, p. 159-163. | MR 434922 | Zbl 0358.08001
et ,6. On the Interpretation of Recursive Polyadic Program Schemes, Symposia Mathematica, vol. 15, 1975, p. 255-281. | MR 391563 | Zbl 0346.68041
,7. 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. A Powerdomain Construction, S.I.A.M. J. on Computing, vol. 5, 1976, p. 452-487. | MR 445891 | Zbl 0355.68015
,9. 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. Data Types as Lattices, S.I.A.M. J. on Computing, vol. 5, 1976, p. 522-587. | MR 437330 | Zbl 0337.02018
,