Data types as lattices : retractions, closures and projections
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 4, pp. 329-344.
@article{ITA_1977__11_4_329_0,
     author = {Sanchis, Luis E.},
     title = {Data types as lattices : retractions, closures and projections},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {329--344},
     publisher = {Centrale des revues, Dunod-Gauthier-Villars},
     address = {Montreuil},
     volume = {11},
     number = {4},
     year = {1977},
     zbl = {0394.03019},
     mrnumber = {495139},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1977__11_4_329_0/}
}
TY  - JOUR
AU  - Sanchis, Luis E.
TI  - Data types as lattices : retractions, closures and projections
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1977
DA  - 1977///
SP  - 329
EP  - 344
VL  - 11
IS  - 4
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://www.numdam.org/item/ITA_1977__11_4_329_0/
UR  - https://zbmath.org/?q=an%3A0394.03019
UR  - https://www.ams.org/mathscinet-getitem?mr=495139
LA  - en
ID  - ITA_1977__11_4_329_0
ER  - 
Sanchis, Luis E. Data types as lattices : retractions, closures and projections. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 4, pp. 329-344. http://www.numdam.org/item/ITA_1977__11_4_329_0/

1. P. Crawley, The Isomorphism Theorem in Compactly Generated Lattices, Bull. Amer. Math. Soc., 65, 1959, pp. 377-379. | MR 106860 | Zbl 0094.01702

2. C. J. Everett, Closure Operators and Galois Theory in Lattices, Trans. Amer. Math. Soc., 55, 1944, pp. 514-525. | MR 10556 | Zbl 0060.06205

3. O. Ore, Galois Connexions, Trans. Amer. Math. Soc., 55, 1944, pp. 493-513. | MR 10555 | Zbl 0060.06204

4. J. C. Reynolds, Towards a Theory of Type Structure in Programming Symposium Proceedings, Lecture Notes in Computer Science 19, April 1974, pp. 408-425, Springer Verlag. | MR 458988 | Zbl 0309.68016

5. J. C. Reynolds, On the Relation between Direct and Continuation Semantics, in Automata, Languages and Programming 2nd Colloquium, University of Saarbrucken, Lecture Notes in Computer Science 14, 1974, pp. 141-156, Springer Verlag. | MR 443409 | Zbl 0313.68023

6.D. Scott, Continuous Lattices, in Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, pp. 96-136, Springer Verlag. | MR 404073 | Zbl 0239.54006

7. D. Scott, Data Types as Lattices, S.I.A.M. Journal on Computing, 5, 1976, pp. 522-587. | MR 437330 | Zbl 0337.02018