A new type assignment for ...-terms. M. Coppo; M. Dezani-Ciancaglini — 1978 Archiv für mathematische Logik und Grundlagenforschung
Complexity of λ -term reductions M. Dezani-Ciancaglini; S. Ronchi Della Rocca; L. Saitta — 1979 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications