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