A new type assignment for ...-terms. M. Coppo; M. Dezani-Ciancaglini — 1978 Archiv für mathematische Logik und Grundlagenforschung