Geodesic
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.

Voir la notice de l'article provenant de la source Numdam

@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},
     mrnumber = {495139},
     zbl = {0394.03019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/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
SP  - 329
EP  - 344
VL  - 11
IS  - 4
PB  - Centrale des revues, Dunod-Gauthier-Villars
PP  - Montreuil
UR  - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1977
%P 329-344
%V 11
%N 4
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977) no. 4, pp. 329-344. http://geodesic.mathdoc.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. | Zbl | MR

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

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

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

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

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

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