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://archive.numdam.org/item/PDML_1977__14_2_9_0/
LA  - fr
ID  - PDML_1977__14_2_9_0
ER  -