A new type assignment for l-terms (1978)

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