Data types as lattices : retractions, closures and projections Luis E. Sanchis — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications