%0 Journal Article
%A DIA
%T Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
%J Diagrammes
%D 1990
%P 5-5
%V 24
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1990__24__5_0/
%G fr
%F DIA_1990__24__5_0