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