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.
@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},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {14},
     number = {2},
     year = {1977},
     mrnumber = {539972},
     zbl = {0432.03026},
     language = {fr},
     url = {http://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/PDML_1977__14_2_9_0/

[1] M. Boffa, The consistency probleme for NF (J.S.L. 42 (1977)), p. 215-220. | MR | Zbl

[2] R. Jensen, On the consistency of a slight (?) modification of Quine's New Foundations, Synthèse 19 (1968/69), p. 250-263. | Zbl

[3] J. Lake, Comparing type theory and set theory, Zeitschr. f. math. Logik u. Grundl. d. Math. 21 (1975), p. 355-356. | MR | Zbl