Geodesic
Modèles cumulatifs de la théorie des types
Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2, pp. 9-12

Voir la notice de l'article provenant de la source Numdam

MR Zbl 
Boffa, M. Modèles cumulatifs de la théorie des types. Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2, pp. 9-12. http://geodesic.mathdoc.fr/item/PDML_1977__14_2_9_0/
@article{PDML_1977__14_2_9_0,
     author = {Boffa, M.},
     title = {Mod\`eles cumulatifs de la th\'eorie des types},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {9--12},
     year = {1977},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {14},
     number = {2},
     mrnumber = {539972},
     zbl = {0432.03026},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PDML_1977__14_2_9_0/}
}
TY  - JOUR
AU  - Boffa, M.
TI  - Modèles cumulatifs de la théorie des types
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1977
SP  - 9
EP  - 12
VL  - 14
IS  - 2
PB  - Université Claude Bernard - Lyon 1
UR  - http://geodesic.mathdoc.fr/item/PDML_1977__14_2_9_0/
LA  - fr
ID  - PDML_1977__14_2_9_0
ER  - 
%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://geodesic.mathdoc.fr/item/PDML_1977__14_2_9_0/
%G fr
%F PDML_1977__14_2_9_0