Data types as lattices : retractions, closures and projections
Sanchis, Luis E.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 329-344 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1977-01-01
@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},
     volume = {11},
     year = {1977},
     pages = {329-344},
     mrnumber = {495139},
     zbl = {0394.03019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1977__11_4_329_0}
}

Sanchis, Luis E. Data types as lattices : retractions, closures and projections. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) pp. 329-344. http://gdmltest.u-ga.fr/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