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 -