Data types as lattices : retractions, closures and projectionsLuis E. SanchisRAIRO. Inform. théor., 11 4 (1977) 329-344DOI: https://doi.org/10.1051/ita/1977110403291
