A new type-assignment for -terms (1978)

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