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 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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
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/