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/