%0 Journal Article
%A Boffa, M.
%T Modèles cumulatifs de la théorie des types
%J Publications du Département de mathématiques (Lyon)
%D 1977
%P 9-12
%V 14
%N 2
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1977__14_2_9_0/
%G fr
%F PDML_1977__14_2_9_0