%0 Journal Article
%A Ageron, Pierre
%T Sémantique catégorique des constructeurs de types d'ordre supérieur
%J Diagrammes
%D 1989
%P 31-44
%V 22
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://archive.numdam.org/item/DIA_1989__22__31_0/
%G fr
%F DIA_1989__22__31_0