P. Sallé

Une extension de la theorie des types en λ-calcul

P. Sallé, 1978 .

Une généralisation de la théorie des types en -calcul

P. Sallé, 1980 .

Une Généralisation de la Théorie des Types en lambda-Calcul (II)

Patrick Sallé, P. Sallé, 1980, RAIRO Theor. Informatics Appl..