Patrick Sale: Une Extension de la Theorie des Types en lambda-Calcul. ICALP 1978: 398-410