@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. The Isomorphism Theorem in Compactly Generated Lattices, Bull. Amer. Math. Soc., 65, 1959, pp. 377-379. | MR | Zbl
,2. Closure Operators and Galois Theory in Lattices, Trans. Amer. Math. Soc., 55, 1944, pp. 514-525. | MR | Zbl
,3. Galois Connexions, Trans. Amer. Math. Soc., 55, 1944, pp. 493-513. | MR | Zbl
,4. 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. 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.Continuous Lattices, in Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, pp. 96-136, Springer Verlag. | MR | Zbl
,7. Data Types as Lattices, S.I.A.M. Journal on Computing, 5, 1976, pp. 522-587. | MR | Zbl
,