Une généralisation de la théorie des types en $\lambda $-calcul (II)Patrick SalléRAIRO. Inform. théor., 14 3 (1980) 301-314DOI: https://doi.org/10.1051/ita/1980140303011