%0 Journal Article
%A Sanchis, Luis E.
%T Data types as lattices : retractions, closures and projections
%J RAIRO. Informatique théorique
%D 1977
%P 329-344
%V 11
%N 4
%I Centrale des revues, Dunod-Gauthier-Villars
%C Montreuil
%U http://www.numdam.org/item/ITA_1977__11_4_329_0/
%G en
%F ITA_1977__11_4_329_0