A new typeassignment for lambda terms (1978)

by M Coppo, M Dezani
Venue:Archiv Math. Logik