Mario Coppo, Mariangiola Dezani-Ciancaglini. A new type assignment for λ-terms. Arch. Math. Log., 19(1):139-156, 1978. [doi]
@article{CoppoD78, title = {A new type assignment for λ-terms}, author = {Mario Coppo and Mariangiola Dezani-Ciancaglini}, year = {1978}, doi = {10.1007/BF02011875}, url = {http://dx.doi.org/10.1007/BF02011875}, researchr = {https://researchr.org/publication/CoppoD78}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {19}, number = {1}, pages = {139-156}, }