Data types as lattices : retractions, closures and projections Luis E. Sanchis RAIRO. Inform. théor., 11 4 (1977) 329-344 Published online: 01 February 2017 DOI: 10.1051/ita/1977110403291