Une généralisation de la théorie des types en $\lambda $-calculPatrick SalléRAIRO. Inform. théor., 14 2 (1980) 143-167DOI: https://doi.org/10.1051/ita/1980140201431
