Jan Terlouw. Reduction of higher type levels by means of an ordinal analysis of finite terms. Annals of Pure and Applied Logic, 28(1):73-102, 1985. [doi]
@article{Terlouw85, title = {Reduction of higher type levels by means of an ordinal analysis of finite terms}, author = {Jan Terlouw}, year = {1985}, doi = {10.1016/0168-0072(85)90031-4}, url = {http://dx.doi.org/10.1016/0168-0072(85)90031-4}, researchr = {https://researchr.org/publication/Terlouw85}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {28}, number = {1}, pages = {73-102}, }