A new type assignment for λ-terms (1978)

by M Coppo, M Dezani-Ciancaglini
Venue:205 Lambda-calculus, types and models