Data types as lattices : retractions, closures and projections
RAIRO. Informatique théorique, 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. Informatique th\'eorique},
     pages = {329--344},
     publisher = {Centrale des revues, Dunod-Gauthier-Villars},
     address = {Montreuil},
     volume = {11},
     number = {4},
     year = {1977},
     mrnumber = {495139},
     zbl = {0394.03019},
     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. Informatique théorique
PY  - 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/
LA  - en
ID  - ITA_1977__11_4_329_0
ER  - 
%0 Journal Article
%A Sanchis, Luis E.
%T Data types as lattices : retractions, closures and projections
%J RAIRO. Informatique théorique
%D 1977
%P 329-344
%V 11
%N 4
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://www.numdam.org/item/ITA_1977__11_4_329_0/
%G en
%F ITA_1977__11_4_329_0
Sanchis, Luis E. Data types as lattices : retractions, closures and projections. RAIRO. Informatique théorique, 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 | Zbl

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

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

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 | Zbl

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 | Zbl

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

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